(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