Converta para CNF as fórmulas abaixo:
Passo 1
O enunciado nos dá a fórmula
e pede para convertê-la em Forma Normal Conjuntiva (CNF). Para isso vamos usar três etapas principais:
- Eliminar todas as implicações usando
. - Mover negações para dentro com as Leis de De Morgan.
- Distribuir disjunções sobre conjunções para chegar a uma conjunção de cláusulas.
Passo 2
Eliminamos primeiro a implicação interna
e depois a externa:
Passo 3
Aplicamos De Morgan em
:
Logo a fórmula fica
Passo 4
Distribuímos a disjunção sobre a conjunção interna
, usando
Aqui
,
,
. Assim
e simplificando a notação de disjunção,