1. Compuertas complementarias
1.1. Si se le agrega una compuerta NOT a la salida de una compuerta AND, OR, y XOX, los resultados de sus respectivas tablas se invierten y dan origent a tres compuertas nuevas.
1.1.1. XNOR
1.1.2. NAND
1.1.3. NOR
2. Familias complemtentarias
2.1. Hace referencia a un conjunto de circuito integrados capaces de implementar distintas operaciones lógicas compartiendo la tecnología de fabricación.
2.1.1. TTL
2.1.2. CMOS
3. Estados lógicos
3.1. Son lo que comúnmente en lógica conocemos como mentira o verdad.
3.1.1. Estado lógico 0 representa una ausencia de tensión, un nivel bajo.
3.1.2. Estado lógico 1, representa una existencia de tensión, un nivel alto.
4. Tablas de verdad
4.1. Que muestra el estado del circuito en cada una de las combinaciones posibles en las que se encuentren sus entradas.
4.1.1. Negación: El valor de verdad de la negación es el contrario de la proposición negada.
4.1.2. Conjunción sirve para indicar que se cumplen dos condiciones simultáneamente,.
4.1.2.1. P Ø P 1 0 0 1
4.1.3. Disyunción: La disyunción solamente es falsa si lo son sus dos componentes.
4.1.3.1. P Q ^Q 1 1 1 1 0 0 0 1 0 0 0 0
4.1.4. Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad.
4.1.4.1. P Q PVQ 1 1 1 1 0 1 1 1 1 0 0 0
4.1.5. Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad.
4.1.5.1. P Q P®Q 1 1 1 1 0 1 1 1 1 0 0 1
4.1.6. Se denomina tautología una proposición que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la última columna de su tabla de verdad estará formada únicamente por unos.
4.1.7. Contradicción es la negación de una tautología, luego es una proposición falsa cualesquiera sea el valor de verdad de sus componentes. La última columna de la tabla de verdad de una contradicción estará formada únicamente por ceros.
5. Compuertas básicas
5.1. Es un dispositivo electrónico con una función booleana. Suman, multiplican, niegan o afirman, incluyen o excluyen según sus propiedades lógicas.
5.1.1. AND
5.1.2. OR
5.1.3. NOT
5.1.4. Compuerta Separador (yes)