A \lor ((B \land C) \lor (D \land \not A))