Är följande uttryck uppfyllbart (kan det göras sant)?

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

Avgör om det existerar en tilldelning av sanningsvärden som gör detta uttryck sant.