NOR lógico
En lógica booleana , la negación lógica o conjunta es un operador funcional de verdad que produce un resultado que es la negación de la lógica o . Es decir, un enunciado de la forma ( p NOR q ) es verdadero precisamente cuando ni p ni q son verdaderos, es decir, cuando tanto p como q son falsos . En gramática , tampoco lo es una conjunción coordinadora .
El operador NOR también se conoce como flecha de Peirce : Charles Sanders Peirce introdujo el símbolo ↓ para él, [1] y demostró que el NOR lógico es completamente expresable: al combinar los usos del NOR lógico es posible expresar cualquier operación lógica en dos variables. Por lo tanto, al igual que con su operador dual , NAND (también conocido como el trazo de Sheffer, simbolizado como ↑, | o /), NOR puede usarse por sí mismo, sin ningún otro operador lógico, para constituir un sistema formal lógico (haciendo que NOR sea funcionalmente completo ). Otros términos para el operador NOR incluyen la daga de Quine (su símbolo era †), laampheck (del griego antiguoἀμφήκης,amphēkēs, "cortando en ambos sentidos") por Peirce, [2] yni-ni.
Otras formas de notación incluyen, P NOR Q y "X pq " (en notación de Bocheński ). Es lógicamente equivalente a , donde el símbolo significa OR y significa la negación .
La computadora utilizada en la nave espacial que llevó a los humanos por primera vez a la luna , la Computadora de Orientación Apolo , se construyó en su totalidad utilizando puertas NOR con tres entradas. [3]
La operación NOR es una operación lógica sobre dos valores lógicos , típicamente los valores de dos proposiciones , que produce un valor verdadero si y solo si ambos operandos son falsos. En otras palabras, produce un valor falso si y solo si al menos un operando es verdadero.
La tabla de verdad de (también escrita como P NOR Q ) es la siguiente: