#cnf

3 questions from Knowledge Representation & Reasoning

Timed test

3 questions · 3 min · score and explanations at the end

Q 1 / 3Score 0 / 0

Shuffle questions

Question 1: Single choice

mediumAI-checkedKnowledge Representation & Reasoning

Which sentence is in conjunctive normal form (CNF) and logically equivalent to $\lnot(A \leftrightarrow B)$ ?

$(A \land \lnot B) \lor (\lnot A \land B)$ 1
$(A \lor \lnot B) \land (\lnot A \lor B)$ 2
$(A \lor B) \land \lnot(A \land B)$ 3
$(A \lor B) \land (\lnot A \lor \lnot B)$ 4

Keys: 1–9 select · Enter check / next