1. Fundamentos
1.1. Variáveis
1.1.1. Verdadeiro (1)
1.1.2. Falso (0)
1.2. Operações primárias
1.2.1. Conjunção (E)
1.2.2. Disjunção (OU)
1.2.3. Negação (NÃO)
1.2.4. Outras operações
1.2.4.1. Exclusivo (XOR)
1.2.4.2. Coincidência (XNOR)
2. Fundamentos da lógica matemática
3. Álgebra de Boole
3.1. Representação algébrica da lógica de Aristóteles
3.2. Ferramenta matemática utilizado pela eletrônica digital
3.3. Propriedades
3.3.1. Associatividade
3.3.2. Comutatividade
3.3.3. Absorção
3.3.4. Distribuitividade
3.3.5. Idempotência
3.3.6. Identidade/Elemento Neutro
3.3.7. Aniquilador/Elemento Absorvente
3.3.8. Elemento Complementar
3.4. Dupla Negação
4. Teorema de Morgan
4.1. Negação da disjunção é igual a conjunção de seus complementares
4.2. Negação da conjunção é igual a disjunção dos seus complementares
5. Relação entre Operações e Portas Lógicas
5.1. Institutos de Normalização
5.1.1. ANSI (Utilizado no curso)
5.1.2. IEC
6. Representação de funções lógicas
6.1. Chaves
7. Funções Lógicas
7.1. Relação entre as entradas e saída dos circuitos digitais
7.1.1. Tabela Verdade
7.1.1.1. Mintermos (Utilizaado no curso)
7.1.1.2. Soma de Produtos (SOP)
7.2. Simplificação
7.2.1. Mapas de Karnaugh
7.2.1.1. Método gráfico desenvolvido como refinamento do diagrama de Veitch
7.2.1.2. Grade bi-dimensional
7.2.1.2.1. Agrupamento de mintermos
7.2.1.3. Código Gray
7.2.1.4. Algébrico
7.2.1.4.1. Fatoração
7.2.2. Algoritmo de Quine-McCluskey
7.2.3. Condições de Irrelevância (Don't Care)
7.2.3.1. Atribuir um valor irrelevante para a saída
7.2.3.2. Simplificação da função da saída
7.2.3.2.1. Símbolo X