(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