How to convert it into CNF(Conjunctive normal form )

2.7k views Asked by At

i faced a expression which is below

A ∨ (B ∧ C) ∨ (D ∧ E ∧ ¬ (A ∨ B))

how to Convert into CNF(Conjunctive normal form)?

1

There are 1 answers

0
Taemyr On BEST ANSWER

Assuming you want an equivalent formula you have to use transformations that preserves logical equivalence.

Here is a potential first step;

A ∨ (B ∧ C) ∨ (D ∧ E ∧ ¬(A ∨ B))
((A ∨ B) ∧ (A ∨ C)) ∨ (D ∧ E ∧ ¬A ∧ ¬B)

Taking distribution laws for A ∨ (B ∧ C) and applying DeMorgan to ¬(A ∨ B)