0:00
Difficulty: ExpertCategory: Logical EquivalenceType: Equivalence CheckIs the following expression satisfiable (can it be made true)?
(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)
Determine if there exists an assignment of truth values that makes this expression true.