0:00
ExpertLogical EquivalenceEquivalence Check
Is 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.
Is 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.