- Indique qual é a Forma Normal Conjuntiva (CNF) correspondente da seguinte fórmula:
Passo 1
O enunciado dá a fórmula
Queremos converter essa fórmula para a Forma Normal Conjuntiva (CNF), ou seja, uma conjunção de cláusulas onde cada cláusula é uma disjunção de literais. Vamos usar equivalências clássicas: eliminação de implicação, leis de De Morgan e distributividade.
Passo 2
Eliminar a implicação usando
Aqui
e
logo a fórmula vira
Passo 3
Aplicar De Morgan em
:
Então
e a fórmula fica
Passo 4
Distribuir a disjunção sobre a conjunção:
Com
,
,
,
, obtemos
Passo 5
Simplificar o termo
. A CNF final é