[A AND (A AND ¬B AND (C OR B AND D) OR ¬A AND ¬B)]AND C = ¬B AND C