ml-recall

#de-morgan

1 question from Knowledge Representation & Reasoning

Timed test

1 question · 1 min · score and explanations at the end

Take a test

Q 1 / 1Score 0 / 0

Shuffle questions

Question 1: Single choice

mediumAI-checkedKnowledge Representation & Reasoning

Rewrite $\lnot(A \land \lnot C) \land (\lnot A \to \lnot B)$ into CNF using the conditional law, De Morgan's law and double negation. Which result is equivalent to the original?

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

Keys: 1–9 select · Enter check / next