(x ∨ y) ∧ (x ∨ ¬y) ∧ (¬x ∨ y)