NOT con NOR: A' = NOR(A, A)

NOT con NOR: un inversor es una compuerta NOR con las dos entradas unidas, NOT A = NOR(A, A).

Nombre en el motor: NOT como NORFR: NOT en NORDE: NOT als NOR

NOT se obtiene con una puerta NOR cuyas dos entradas reciben el mismo valor.

NOR(A, A) es NOT (A OR A), y A OR A es A por idempotencia, así que la compuerta da NOT A. Es la primera construcción de la familia NOR, la imagen especular del inversor NAND, y el conversor solo con NOR la usa por defecto, con NOR(A, FALSE) como alternativa de entrada constante cuando duplicar una señal resultaría demasiado costoso.

Con un inversor disponible, la familia NOR construye OR como un NOR seguido de este inversor y AND como un NOR de dos entradas invertidas, completando la demostración de que NOR por sí solo es universal.

La demostración de dos filas está abajo.

Enunciado

NOT A = NOR(A, A)

Demostración por tabla de verdad: NOT A = NOR(A, A)

La misma ley en cuatro notaciones

El error habitual

Atar a 1 la entrada libre de un inversor NOR. NOR(A, TRUE) es siempre FALSO (VERDADERO domina el OR); la constante de un inversor NOR debe ser FALSO.

Preguntas

¿Qué constante va con qué compuerta?

Un inversor NAND puede usar VERDADERO como entrada libre (NAND(A, TRUE) = NOT A) y un inversor NOR debe usar FALSO (NOR(A, FALSE) = NOT A); cada uno usa la constante neutra del operador subyacente de la compuerta.

Relacionado

Lección que lo enseña

• Lección 1: NOT, AND, OR: los operadores básicos

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

• Ejercicios de diseño solo con NAND o solo con NOR

Véase también

• 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))
• Eliminación de NOR: NOR(A, B) = (A+B)'
• Conversor a solo NAND o solo NOR con demostración de equivalencia

Leyes

• Identidades de XOR: A ⊕ 0 = A, A ⊕ 1 = A', A ⊕ A = 0
• Ley asociativa: (A·B)·C = A·(B·C)
• Eliminación de la implicación: A → B = A' + B
• Eliminación del bicondicional: A ↔ B = A·B + A'·B'

Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación 2026-11-07. 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.