1. Álgebra booleana.
1.1. Operações
1.1.1. Negação: (~A ): Assume valor contrário a variável de entrada
1.1.2. Operação AND: (A.B) ou (A And B). Assume valor lógico 1 apenas se as duas variáveis forem 1.
1.1.3. Operação OR: (A+B) ou(A OR B): Assume valor lógico 0 apenas se ambas variáveis assumirem valor lógico 0.
1.1.3.1. Operações derivadas: XOR = ou exclusivo. XNOR=negação do ou exclusivo.
1.2. Propriedades da álgebra booleana
1.2.1. Associatividade: A+(B+C)=(A+B)+C A.(B.C)=(A.B).C
1.2.2. Comutatividade: A+B=B+A A.B=B.A
1.2.3. Absorção: A+(A.B)=A A.(A+B) = A
1.2.4. Distributividade: A(B+C)=AB+AC
1.2.5. Idempotência: A+A=A A.A=A
1.2.6. Identidade ou elemento neutro: A+0=A A.1=A
1.2.7. Elemento absorvente: A+1=1 A.0=0
1.2.8. Elemento complementar: A+A´=1 A.A´=0
1.2.9. Dupla negação: A``=A
1.2.10. Teorema de DeMorgan
1.2.10.1. A Negação de (A+B) é igual a operação AND das negações individuais de A e de B
1.2.10.2. A negação (A.B) é igual a operação OR das negações individuais de A e de B.
1.2.11. As variáveis assumem valores apenas valor 1 ou 0.
1.3. Funções lógicas
1.3.1. Representam a relação entre entrada e saída do circuito lógico. Estes termos podem ser escritos por meio da soma de produtos(SOP)
1.3.1.1. Soma de produtos: Como o próprio nome diz é uma soma de produtos que é obtida através da tabela verdade de um circuito. O procedimento consiste em somar os produtos das variáveis que resultam em saída igual a 1 considerando que estamos trabalhando com a porta AND.
1.3.1.1.1. Simplificação de funções lógicas: