Compuerta lógica (puerta lógica): definición, ejemplo y equivalente en inglés
Una compuerta lógica es un dispositivo, físico o dibujado, que calcula un operador booleano: toma una o más entradas binarias y produce una salida binaria según una tabla de verdad fija.
Las compuertas básicas son NOT, AND, OR, NAND, NOR, XOR y XNOR, cada una con un símbolo estándar en los diagramas de circuito y cada una definida por completo por su tabla de verdad. Una compuerta (en España, puerta lógica) no tiene memoria: su salida en cada instante depende solo de sus entradas en ese instante, y por eso las redes de compuertas forman lógica combinacional. Toda expresión booleana puede dibujarse como red de compuertas, con cada operador convertido en una compuerta y cada entrada compartida repartida a todas las compuertas que la leen.
El artefacto de esta página es la compuerta NAND de dos entradas, NAND(A, B), que la lectura del motor describe como falsa solo cuando ambas partes son verdaderas. La tabla de 4 filas se lee verdadero, verdadero, verdadero, falso. La comprobación de tautología se viola con el contraejemplo A = TRUE, B = TRUE, la única fila en que NAND da falso, y la de satisfacible se cumple con el testigo A = FALSE, B = FALSE. La de contradicción se viola con el mismo testigo. NAND aparece aquí porque es la compuerta con la que puede construirse cualquier otra.
Las compuertas son el vocabulario del hardware digital, y el diagrama lógico del motor dibuja cualquier fórmula como red de compuertas; el conversor a solo NAND o solo NOR reescribe una fórmula para una tecnología que ofrece un único tipo de compuerta. Quien programa encuentra las compuertas de forma indirecta, como los operadores &&, || y !. El término se confunde con el operador que implementa (la función abstracta y no el dispositivo) y con el transistor, el componente con el que se construyen las compuertas.
Ejemplo
f := NAND(A, B) · salida
Comprobaciones exactas
Tabla de verdad (4 filas)
| # | A | B | f |
|---|---|---|---|
| 0 | FALSO | FALSO | VERDADERO |
| 1 | FALSO | VERDADERO | VERDADERO |
| 2 | VERDADERO | FALSO | VERDADERO |
| 3 | VERDADERO | VERDADERO | FALSO |
Lectura en lenguaje claro
Principiantef es verdadero exactamente cuando A y B no son ambos verdaderos.
En todos los demás casos, f es falso.
Sobre los operadores:
- NAND («no y») solo es falso cuando ambas partes son verdaderas.
Intermediof es verdadero exactamente cuando A y B no son ambos verdaderos.
En todos los demás casos, f es falso.
Avanzadof es verdadero exactamente cuando A y B no son ambos verdaderos [barra de Sheffer ↑ (NAND)].
En todos los demás casos, f es falso.
Notación formal: NAND(A, B)
El error habitual
Leer el símbolo NAND como «NOT y después AND». NAND niega el resultado del AND, así que NAND(A, B) es NOT (A AND B), falsa solo cuando las dos entradas son verdaderas; aplicar NOT primero a las entradas da otra compuerta, NOT A AND NOT B, que es NOR.
Preguntas
¿Cuántas entradas puede tener una compuerta?
Dos es el caso de libro, pero AND, OR, NAND y NOR se extienden a cualquier número de entradas porque sus operadores son asociativos. La notación de palabras del motor escribe una compuerta de varias entradas como cadena, A AND B AND C, o como NAND(A, B) en la forma con nombre.
Relacionado
Ejercicios
Véase también
- Compuerta NAND: tabla de verdad de 2, 3 y 4 entradas, compuerta universal
- Compuerta universal: definición, ejemplo y equivalente en inglés
- Lógica combinacional: definición, ejemplo y equivalente en inglés
- Fan-out (abanico de salida): definición, ejemplo y equivalente en inglés
- Generador de circuitos lógicos: de expresión booleana a diagrama de compuertas (SVG)
- De diagramas de compuertas a expresiones
Glosario
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.