Puertas básicas: AND, OR, NOT y BUFFER

Una puerta es una función de todas las combinaciones de entrada

Para $a,b\in\{0,1\}$, AND produce 1 si ambas entradas son 1; OR, si al menos una es 1. NOT invierte^{iNegación Operación NOT que cambia 0 por 1 y 1 por 0. Una barra sobre una expresión aplica NOT a toda la expresión cubierta. Más información} la entrada y BUFFER conserva su valor lógico. Un BUFFER físico también tiene capacidad de excitación y retardo; aquí analizamos solo su función lógica.

En álgebra de Boole^{iÁlgebra de Boole Álgebra de 0, 1 y las operaciones AND, OR y NOT. El signo de suma suele representar OR, por lo que sus reglas difieren de la suma de enteros. Más información}, $ab$ significa AND, $a+b$ significa OR y $\overline a$, NOT. Por eso $1+1=1$ no es suma entera. También se escriben $a\land b$, $a\lor b$ y $\neg a$.

Lea juntos símbolo, entradas y tabla

Seleccione AND y OR y compruebe 00→01→10→11. Compare la cara de entrada recta y la salida curva de AND con la entrada curva de OR. NOT es un triángulo con un pequeño círculo de inversión en la punta; BUFFER no lleva ese círculo. Son símbolos habituales; otras normas usan rectángulos.

OR significa «al menos una», no «exactamente una». Con ambas entradas en 1, OR vale 1 y XOR, que veremos después, vale 0. Omitir una fila de la tabla de verdad^{iTabla de verdad Tabla que enumera todas las combinaciones posibles de entradas y la salida de cada una. La evolución temporal se comprueba por separado en las formas de onda.} puede ocultar esta diferencia.

Unir condiciones produce un circuito

Si una autorización $e$ permite activar la salida cuando al menos uno de dos sensores $a,b$ está activo:

La OR genera primero $a+b$ y la AND lo combina con $e$. Con $e=0$, la salida es 0 independientemente de los sensores. Tres entradas tienen $2^3=8$ combinaciones: compruebe que especificación e implementación coinciden en las ocho filas.

Reglas mínimas para leer los operadores RTL

a & b, a | b y ~a son AND, OR y NOT bit a bit. Con vectores a=0010, b=0100, a & b=0000, pero la condición lógica a && b vale 1 porque ambos vectores son distintos de cero. El operador unario &a reduce todos los bits mediante AND. Los operadores bit a bit, lógicos y de reducción tienen significados y anchos de resultado diferentes.

La tabla de verdad describe valores una vez estabilizadas las entradas. Símbolos y ecuaciones correctos no eliminan el retardo de propagación^{iRetardo de propagación Tiempo desde un cambio de entrada hasta que la salida se estabiliza en el valor correcto. La equivalencia lógica y el comportamiento temporal son propiedades distintas. Más información} ni los pulsos espurios transitorios.