Prove (or disprove) the validity of the following formulae in

i) Natural Deduction

ii) Tableau and iii) Resolution.

1. (P Q) (P Q) (to be done in the tutorial, not part of grading)

2. ((AB)(AC)(BC))C

3. ((P Q)P)P