(P
Q) 
R 
(P R) (Q R)
(P
Q) R (P R) (Q R)
P
Q Q P
P
Q Q P
P
P
P
¬¬P
P
¬P
¬(P
¬P)
¬(P
Q) ¬P ¬Q
¬(P
Q) ¬P ¬Q
(P
Q) (¬Q ¬P)
(P
Q) P Q
(P
Q) ¬Q ¬P
(P
Q) ¬P Q
P
P
P
P
P
P