- Traduza a fórmula abaixo para a CNF (Forma Normal Conjuntiva):
Passo 1
O enunciado pede para transformar a fórmula
na sua Forma Normal Conjuntiva (CNF). Para isso precisamos:
- Eliminar implicações usando
. - Distribuir disjunção sobre conjunção via
. - Simplificar cláusulas tautológicas.
Passo 2
Eliminar a implicação em
:
Logo a fórmula fica
Passo 3
Aplicar a regra de distribuição de
sobre
:
Isto é,
Passo 4
Simplificar a primeira cláusula
: como
é tautologia, essa parte é sempre verdadeira e pode ser eliminada. Sobra apenas