Teorema de DeMorgan
Ir para navegação
Ir para pesquisar
- O complemento, ou negação de um produto (AND) de variáveis é igual a soma (OR) dos complementos das variáveis.
- O complemento, ou negação de uma soma (OR) de variáveis é igual ao produto (AND) dos complementos das variáveis.
- A figura abaixo mostra o circuito que representa o 1. Teorema e a tabela abaixo representa sua respectiva tabela verdade.
Entradas | Saídas | ||
---|---|---|---|
X | Y | ||
0 | 0 | 1 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 1 | 1 |
1 | 1 | 0 | 0 |
- A figura abaixo mostra o circuito que representa o 1. Teorema e a tabela abaixo representa sua respectiva tabela verdade.
Entradas | Saídas | ||
---|---|---|---|
X | Y | ||
0 | 0 | 1 | 1 |
0 | 1 | 0 | 0 |
1 | 0 | 0 | 0 |
1 | 1 | 0 | 0 |
Observada a equivalência na saída das tabelas, isto prova o mesmo comportamento lógico.
Considere a seguinte expressão:
Aplicando os teoremas de De Morgan: