Converta para CNF as fórmulas abaixo:
(\neg p \rightarrow(p \rightarrow q))

Passo 1

O enunciado pede para converter em forma normal conjuntiva (CNF) a fórmula
(\neg p \rightarrow (p \rightarrow q)).
Vamos usar as equivalências padrões de lógica proposicional: eliminação de implicação, movimentação de negações (De Morgan) e, se necessário, distribuição de \lor sobre \land.

Passo 2

Eliminamos as implicações pela equivalência
(A \rightarrow B)\equiv(\neg A\lor B).
Aplicando à fórmula original:
\neg p \rightarrow (p \rightarrow q) \equiv \neg(\neg p)\lor ( \neg p \lor q ).
Como \neg(\neg p) é equivalente a p, ficamos com
p \;\lor\; (\neg p \;\lor\; q).

Passo 3

Usamos a associatividade e comutatividade da disjunção para agrupar tudo em uma única cláusula:
p \;\lor\; \neg p \;\lor\; q.

Passo 4

Observamos que p \lor \neg p é uma tautologia (sempre verdadeira). Logo
p \lor \neg p \lor q
é equivalente a uma tautologia também.

Passo 5

O CNF de uma fórmula que é tautologia é simplesmente a cláusula verdadeira, que denotamos por \top.

Resposta

\top

Exercícios relacionados