What is the CNF clause form of: A ∧ B ∧ C → D
Answer: B
Each element of the left-hand side is negated, while the right-hand conclusion is left positive; these are all ORed together.