Postulado 1: Definición | En un sistema algebraico definido en un conjunto B, que contiene 2 o más elementos donde pueden darse solo 2 operaciones, la suma u operación "OR" y la multiplicación o multiplicación "AND" | Postulado 2: Identidad (existencia de neutros) | En B, el elemento neutro de la suma determinada "0" y en la multiplicación "!" donde X en B: a)n+0=X------------ b)X1=X | Postulado 3: Conmutatividad | Para cada X,Y,Z en B: a)X+Y=Y+X-----b)XY=YX | Postulado 4: Asociatividad | Para cada X,Y,Z en B: a)X+(Y+Z)=(X+Y)+Z---------b)X(YZ)=(XY)Z | Postulado 5: Distributividad | Para cada X,Y,Z en B: a)X+(YZ)=(X+Y)(X+Z)------------b)X(Y+Z)=(XY)+(XZ) | Postulado 6: Existencia de complemento | Para cada X en B existe un elemento …ver más…

Las letras mayúsculas se utilizan normalmente para hacer claro que el término se refiere a una puerta lógica.
Compuerta Lógica de los símbolos

Hay dos series de símbolos de puertas lógicas:

• Los símbolos tradicionales tienen una forma distintiva que los hace fáciles de reconocer lo que son ampliamente utilizados en la industria y la educación. Como se muestra a continuación:

Primero la compuerta AND. El segundo es OR (OR puerta con inversor) puerta. Tercio en el inversor.
Y bien ni las funciones del invertir se han discutido en detalle. Estas puertas se utilizan para realizar estas funciones.

AND: la puerta se llama así porque, si 0 es "falso" y una que se llama "verdad", la puerta actúa de la misma manera que la lógica "y" operador. La ilustración y la tabla siguientes muestran el símbolo de circuito y las combinaciones de la lógica de una puerta AND. (En el símbolo, los terminales de entrada están a la izquierda y la terminal de salida es a la derecha.) La salida es "verdad" cuando ambas entradas son "verdaderas". De lo contrario, el resultado es "falso".
Compuerta AND

Entrada 1 | Entrada 2 | Salida | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 |

La puerta de OR recibe su nombre del hecho de que se comporta a la manera de la lógica inclusiva "O". La salida es "verdadero" si una o ambas de las entradas son "verdaderas". Si ambas entradas son "falsas", entonces el resultado es "falso".
Compuerta OR