[A AND ¬B AND C OR A AND ¬B AND B AND D OR ¬A AND ¬B] ∧ C