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.