0:00
Difficulty: ExpertCategory: Logical EquivalenceType: Equivalence CheckConvert the following expression to Conjunctive Normal Form (CNF):
(A → B) ∧ (C ∨ D)
CNF is a conjunction of clauses, where each clause is a disjunction of literals.
Convert the following expression to Conjunctive Normal Form (CNF):
(A → B) ∧ (C ∨ D)
CNF is a conjunction of clauses, where each clause is a disjunction of literals.