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.