Er det følgende uttrykket oppfyllbart (kan det gjøres sant)?

(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)

Avgjør om det finnes en tildeling av sannhetsverdier som gjør dette uttrykket sant.