4. To prove A AND (NOT B) C OR (NOT D) by contradiction, which of the statements below would we prove? Note: each of the choices is simplified by pushing NOT's down until they apply only to atomic statements A through D.

a) ((NOT A) AND B AND C AND (NOT D)) false

b) ((NOT B) AND A AND (NOT D) AND C) false

c) ((NOT A) AND B AND (NOT C) AND D) false

d) (A AND (NOT B) AND D AND (NOT C)) false

Answer Please