La seguente espressione è soddisfacibile (può essere resa vera)?

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

Determinare se esiste un'assegnazione di valori di verità che rende vera questa espressione.