0:00
ExpertLogical EquivalenceEquivalence Check
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.
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.