Er følgende udtryk opfyldeligt (kan det gøres sandt)?

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

Afgør om der eksisterer en tildeling af sandhedsværdier, der gør dette udtryk sandt.