Compuerta NOR: tabla de verdad de 2, 3 y 4 entradas, compuerta universal
NOR es un OR seguido de un NOT: NOR(A, B) es VERDADERO solo cuando las dos entradas son FALSAS. Como NAND, es universal, y es la compuerta que hay detrás de «ni A ni B».
La tabla de dos entradas es la tabla de OR invertida: una fila VERDADERA, la primera, donde A y B son ambas FALSAS, y tres filas FALSAS. Para tres y cuatro entradas el lenguaje escribe NOT (A OR B OR C) y NOT (A OR B OR C OR D), mostradas abajo, cada una VERDADERA solo en la fila 0. Como con NAND, la compuerta se acepta solo como NOR(A, B) con exactamente dos operandos, porque una cadena de compuertas NOR no es asociativa y no tendría una agrupación acordada.
Por De Morgan, NOR(A, B) es NOT A AND NOT B: fallan las dos entradas. Ese es el significado preciso de «ni A ni B», y la página del error común muestra por qué NOT A OR NOT B (que es NAND) es la traducción equivocada. En un diagrama, la compuerta (o puerta) es la forma de OR con una burbuja en su salida.
La universalidad funciona como en NAND, con los papeles de AND y OR intercambiados: NOR(A, A) es NOT A, NOR(NOR(A, B), NOR(A, B)) es A OR B, y NOR(NOR(A, A), NOR(B, B)) es A AND B. El conversor solo con NOR aplica estas construcciones, informa del número de compuertas y comprueba el resultado de forma exacta, y la página de comparativa pone los recuentos NAND y NOR de una misma regla lado a lado.
Grafías aceptadas
NOR(a, b)
NOR(a, b)NOR(a, b)NOR(a, b)NOR(a, b)2 entradas: NOR(A, B)
| # | A | B | f |
|---|---|---|---|
| 0 | FALSO | FALSO | VERDADERO |
| 1 | FALSO | VERDADERO | FALSO |
| 2 | VERDADERO | FALSO | FALSO |
| 3 | VERDADERO | VERDADERO | FALSO |
Principiantef es verdadero exactamente cuando ni A ni B es verdadero.
En todos los demás casos, f es falso.
Sobre los operadores:
- NOR («no o») solo es verdadero cuando ambas partes son falsas.
Intermediof es verdadero exactamente cuando ni A ni B es verdadero.
En todos los demás casos, f es falso.
Avanzadof es verdadero exactamente cuando ni A ni B es verdadero [flecha de Peirce ↓ (NOR)].
En todos los demás casos, f es falso.
Notación formal: NOR(A, B)
3 entradas: NOT (A OR B OR C): NOT (A OR B OR C)
| # | A | B | C | f |
|---|---|---|---|---|
| 0 | FALSO | FALSO | FALSO | VERDADERO |
| 1 | FALSO | FALSO | VERDADERO | FALSO |
| 2 | FALSO | VERDADERO | FALSO | FALSO |
| 3 | FALSO | VERDADERO | VERDADERO | FALSO |
| 4 | VERDADERO | FALSO | FALSO | FALSO |
| 5 | VERDADERO | FALSO | VERDADERO | FALSO |
| 6 | VERDADERO | VERDADERO | FALSO | FALSO |
| 7 | VERDADERO | VERDADERO | VERDADERO | FALSO |
Principiantef es verdadero exactamente cuando no se cumple la condición siguiente:
1. al menos uno entre A, B y C es verdadero (pueden serlo varios)
En todos los demás casos, f es falso.
Sobre los operadores:
- NOT (NO) invierte un valor: lo verdadero pasa a ser falso y lo falso, verdadero.
- OR (O) es inclusivo: es verdadero en cuanto al menos una parte es verdadera, también cuando lo son varias.
Intermediof es verdadero exactamente cuando no se cumple la condición siguiente:
1. al menos uno entre A, B y C es verdadero (pueden serlo varios)
En todos los demás casos, f es falso.
Avanzadof es verdadero exactamente cuando no se cumple la condición siguiente [negación ¬]:
1. al menos uno entre A, B y C es verdadero (pueden serlo varios) [disyunción inclusiva ∨]
En todos los demás casos, f es falso.
Notación formal: ¬(A ∨ B ∨ C)
4 entradas: NOT (A OR B OR C OR D): NOT (A OR B OR C OR D)
| # | A | B | C | D | f |
|---|---|---|---|---|---|
| 0 | FALSO | FALSO | FALSO | FALSO | VERDADERO |
| 1 | FALSO | FALSO | FALSO | VERDADERO | FALSO |
| 2 | FALSO | FALSO | VERDADERO | FALSO | FALSO |
| 3 | FALSO | FALSO | VERDADERO | VERDADERO | FALSO |
| 4 | FALSO | VERDADERO | FALSO | FALSO | FALSO |
| 5 | FALSO | VERDADERO | FALSO | VERDADERO | FALSO |
| 6 | FALSO | VERDADERO | VERDADERO | FALSO | FALSO |
| 7 | FALSO | VERDADERO | VERDADERO | VERDADERO | FALSO |
| 8 | VERDADERO | FALSO | FALSO | FALSO | FALSO |
| 9 | VERDADERO | FALSO | FALSO | VERDADERO | FALSO |
| 10 | VERDADERO | FALSO | VERDADERO | FALSO | FALSO |
| 11 | VERDADERO | FALSO | VERDADERO | VERDADERO | FALSO |
| 12 | VERDADERO | VERDADERO | FALSO | FALSO | FALSO |
| 13 | VERDADERO | VERDADERO | FALSO | VERDADERO | FALSO |
| 14 | VERDADERO | VERDADERO | VERDADERO | FALSO | FALSO |
| 15 | VERDADERO | VERDADERO | VERDADERO | VERDADERO | FALSO |
Principiantef es verdadero exactamente cuando no se cumple la condición siguiente:
1. al menos uno entre A, B, C y D es verdadero (pueden serlo varios)
En todos los demás casos, f es falso.
Sobre los operadores:
- NOT (NO) invierte un valor: lo verdadero pasa a ser falso y lo falso, verdadero.
- OR (O) es inclusivo: es verdadero en cuanto al menos una parte es verdadera, también cuando lo son varias.
Intermediof es verdadero exactamente cuando no se cumple la condición siguiente:
1. al menos uno entre A, B, C y D es verdadero (pueden serlo varios)
En todos los demás casos, f es falso.
Avanzadof es verdadero exactamente cuando no se cumple la condición siguiente [negación ¬]:
1. al menos uno entre A, B, C y D es verdadero (pueden serlo varios) [disyunción inclusiva ∨]
En todos los demás casos, f es falso.
Notación formal: ¬(A ∨ B ∨ C ∨ D)
El error habitual
Traducir «ni A ni B» como NOT A OR NOT B. Esa fórmula también es VERDADERA cuando falla solo uno de los dos. «Ni, ni» exige que fallen los dos: NOT A AND NOT B, que es NOR(A, B), VERDADERO en una sola fila.
Preguntas
¿Cuál es más barato, NAND o NOR?
Depende de la función y de la tecnología. En la familia NOR, OR cuesta dos compuertas y AND tres; en la familia NAND es al revés. El conversor informa del recuento para cualquier expresión, y la página de comparativa trata la elección.
¿Qué es NOR con una entrada constante?
NOR(A, FALSE) es NOT A, el inversor de entrada constante que usa el conversor cuando duplicar una señal sería demasiado grande, y NOR(A, TRUE) es siempre FALSO, porque VERDADERO domina el OR interior.
Relacionado
Ejemplos resueltos que lo usan
Leyes
- Eliminación de NOR: NOR(A, B) = (A+B)'
- NOT con NOR: A' = NOR(A, A)
- OR con compuertas NOR: A + B = NOR(NOR(A, B), NOR(A, B))
- AND con compuertas NOR: A·B = NOR(NOR(A, A), NOR(B, B))
Herramientas
- Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
- Generador de circuitos lógicos: de expresión booleana a diagrama de compuertas (SVG)
Ejercicios
Véase también
- Eliminación de NOR: NOR(A, B) = (A+B)'
- NOT con NOR: A' = NOR(A, A)
- OR con compuertas NOR: A + B = NOR(NOR(A, B), NOR(A, B))
- AND con compuertas NOR: A·B = NOR(NOR(A, A), NOR(B, B))
- Leyes de De Morgan: (A·B)' = A' + B', con demostración y ejemplos
- Compuerta NAND: tabla de verdad de 2, 3 y 4 entradas, compuerta universal
- «Ni A ni B» es NOT A AND NOT B
- AND solo con compuertas NOR
- Conversor a solo NAND o solo NOR con demostración de equivalencia
- NAND frente a NOR como compuerta universal
Operadores y compuertas
Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.