Suponha que tem a seguinte base de conhecimento (A ⇒ (B ∨ C)) ∧ (¬C ⇒ (A ∨ B)) ∧ ((¬A ∧ B) ⇒ C) Converta para CNF.

A forma normal conjuntiva (CNF) da fórmula apresentada é obtida eliminando os operadores de implicação e movendo as negações para o interior das expressões, resultando na conjunção de três cláusulas disjuntivas.

Análise Detalhada

Para converter a fórmula para a Forma Normal Conjuntiva, devemos seguir um algoritmo padrão de transformação lógica. O objetivo é obter uma expressão na forma de uma conjunção (\land) de disjunções (\lor) de literais.

1. Eliminação das Implicações

A regra fundamental para eliminar a implicação é P \Rightarrow Q \equiv \neg P \lor Q. Vamos aplicar isso a cada parte da conjunção principal.

• Primeiro termo: A \Rightarrow (B \lor C)
• Transformação: \neg A \lor (B \lor C)
• Resultado: \neg A \lor B \lor C
• Segundo termo: \neg C \Rightarrow (A \lor B)
• Transformação: \neg(\neg C) \lor (A \lor B)
• Dupla negação: C \lor A \lor B
• Ordem padrão: A \lor B \lor C
• Terceiro termo: (\neg A \land B) \Rightarrow C
• Transformação: \neg(\neg A \land B) \lor C
• Lei de De Morgan aplicada ao antecedente: (\neg(\neg A) \lor \neg B) \lor C
• Dupla negação: (A \lor \neg B) \lor C
• Resultado: A \lor \neg B \lor C

2. Montagem da Fórmula Final

Como os operadores principais entre os três termos são conjunções (\land), unimos os resultados obtidos acima mantendo a estrutura de produto de somas.

Esta é a forma CNF direta. Cada parêntese representa uma cláusula, e cada termo dentro delas é um literal.

3. Observação sobre Simplificação

Embora a forma acima seja tecnicamente correta, ela pode ser simplificada usando princípios algébricos lógicos (como absorção e resolução), mas não é estritamente necessário para definir a CNF padrão.

• Os dois primeiros termos (\neg A \lor B \lor C) \land (A \lor B \lor C) simplificam-se para (B \lor C).
• Combinando com o terceiro termo, chega-se a (A \lor C) \land (B \lor C).

Ambas as formas são válidas como CNF, sendo a primeira o resultado direto do algoritmo de conversão.

Conclusão

A resposta correta para a conversão da base de conhecimento para CNF é: