tabelas-verdade

Adio disjuntiva (AD) p p q Simplificao conjuntiva(SIM) p q p ou p q q Modus Ponens(MP) ( p q ) p q Modus Tollens(MT) ( p q ) ~q ~p Silogismo Disjuntivo(SD) ( p q ) ~q p Silogismo Hipottico(SH) ( p q ) ( q r ) p r Dilema Construtivo(DC) ( p q ) ( r s ) ( p r ) q s Dilema Destrutivo(DD) ( p q ) ( r s ) ( ~q ~s ) ~p ~r Absoro(ABS) p q p ( p q )

Considere X e Y como variveis booleanas ou proposies cuja resposta seja {Sim, No} ou {Verdadeiro, Falso} ou ainda {0,1}. Seguem as leis de De Morgan conforme algumas notaes possveis:

Lgica proposicional[editar]
1. 2. Lgica booleana[editar] 1. 2. Lgica booleana na eletrnica digital[editar] 1. 2. 3. O complemento, ou negao de um produto (AND) de variveis igual a soma(OR) dos complementos das variveis.1 4. O complemento, ou negao de uma soma (OR) de variveis igual ao produto (AND) dos complementos das variveis.1 A figura 1.1 mostra o circuito que representa o 1. Teorema e a tabela abaixo representa sua respectiva tabela verdade.

1.1 Teorema

X Y

0 0 1

0 1 1

1 0 1

1 1 0

A figura 1.2 mostra o circuito que representa o 1. Teorema e a tabela abaixo representa sua respectiva tabela verdade.

1.2 Teorema

X Y

0 0 1

0 1 0

1 0 0

1 1 0

Observada a equivalncia na sada das tabelas, isto prova o mesmo comportamento lgico. Considere a seguinte expresso:2

Aplicando os teoremas de De Morgan:

Textual[editar]
1. No (X E Y) = No (X) Ou No (Y) 2. No (X Ou Y) = No (X) E No (Y)

Generalizao[editar]
A ideia que ao "aplicar" a barra (operador No) sobre uma outra operao, esta muda seu sinal, restando uma barra para cada membro da operao. Exemplos:

Prova[editar]
Se de fato 1. 2. a) ento:

primeiro usamos a propriedade distributiva do operador depois a propriedade comutativo (passo no mostrado), ento vemos a soma de elementos complementares b)

Primeiro usamos a propriedade distributiva do operador depois usamos a propriedade de comutatividade (esse passo no foi mostrado), ento usamos a propriedade de elementos complementares Os teoremas de DeMorgan so usados para provar que toda lgica booleana pode ser criada somente com portas lgicas NAND ou NOR.