#satisfiability

5 questions from Knowledge Representation & Reasoning

Timed test

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

Q 1 / 5Score 0 / 0

Shuffle questions

Question 1: Select all that apply

mediumAI-checkedKnowledge Representation & Reasoning

Which of these sets of sentences are jointly satisfiable, i.e. made true all together by at least one valuation? Select all that apply.

$\{\lnot(\lnot A \lor B),\ A \to \lnot C,\ A \to (B \to C)\}$ 1
$\{A \to B,\ B \to C,\ \lnot(A \to C)\}$ 2
$\{A \land (B \lor C),\ \lnot(A \land C),\ \lnot(B \land C)\}$ 3
$\{A \lor B,\ \lnot B,\ \lnot B \to \lnot A\}$ 4
$\{(A \lor B) \lor C,\ \lnot A \lor \lnot B,\ \lnot C \lor \lnot B\}$ 5

Keys: 1–9 select · Enter check / next