0:00
विशेषज्ञतार्किक समानतासमानता जांच

निम्नलिखित व्यंजक को Conjunctive Normal Form (CNF) में बदलिए:

(A → B) ∧ (C ∨ D)

CNF clauses का एक conjunction है, जहाँ प्रत्येक clause literals का एक disjunction है।