OR con compuertas NOR: A + B = NOR(NOR(A, B), NOR(A, B))
OR con compuertas NOR: A OR B = NOR(NOR(A, B), NOR(A, B)), un NOR seguido de un inversor NOR.
OR se obtiene como la negación (un NOR con las entradas unidas) de un NOR.
Un NOR es un OR con la salida invertida; invertirla de nuevo devuelve el OR. El inversor es el NOR con entradas unidas de la ley anterior, así que la construcción usa dos compuertas, con el NOR interior apareciendo dos veces en el texto porque el texto no puede mostrar que su única salida alimenta las dos entradas de la segunda compuerta.
La construcción es el dual exacto de AND con NAND, y el motor la demuestra de la misma forma, en las cuatro filas sobre A y B. El conversor solo con NOR informa del número de compuertas sobre esta base, y la página de comparativa pone los recuentos NAND y NOR de una regla lado a lado.
La demostración está abajo.
Enunciado
A OR B = NOR(NOR(A, B), NOR(A, B)) Demostración por tabla de verdad: A OR B = NOR(NOR(A, B), NOR(A, B))
| # | A | B | lhs | rhs |
|---|---|---|---|---|
| 0 | FALSO | FALSO | FALSO | FALSO |
| 1 | FALSO | VERDADERO | VERDADERO | VERDADERO |
| 2 | VERDADERO | FALSO | VERDADERO | VERDADERO |
| 3 | VERDADERO | VERDADERO | VERDADERO | VERDADERO |
La misma ley en cuatro notaciones
A OR BA || BA ∨ BA + BA + BNOR(NOR(A, B), NOR(A, B))NOR(NOR(A, B), NOR(A, B))NOR(NOR(A, B), NOR(A, B))NOR(NOR(A, B), NOR(A, B))\overline{\overline{A + B} + \overline{A + B}}El error habitual
Esperar que un solo NOR sea un OR. Un único NOR es la negación del OR; la segunda compuerta es el inversor que lo devuelve.
Preguntas
¿Se usa la familia NOR en la práctica?
Sí; qué compuerta es más barata depende de la tecnología. Las compuertas NAND en CMOS suelen ser más rápidas que las NOR del mismo tamaño, una de las razones por las que NAND es la elección más común, pero las dos familias aparecen en diseños reales.
Relacionado
Lección que lo enseña
Herramientas
- Calculadora y simplificador de álgebra de Boole paso a paso (cada ley nombrada y verificada)
- Comprobador de equivalencia lógica: dos expresiones, veredicto exacto, contraejemplo
Ejercicios
Véase también
- NOT con NOR: A' = NOR(A, A)
- AND con compuertas NOR: A·B = NOR(NOR(A, A), NOR(B, B))
- AND solo con compuertas NOR
- NAND frente a NOR como compuerta universal
Leyes
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.