The closest I have got is (((A ↮ B) ∧ (C ∧ D)) ⊽ ((A ∧ B) ∧ (C ↮ D))), but when all 4 are true then the output is true and I don\'t want that. Ty.