((
p -> p) 
(p -> p))
([1][2]-1p -> [3]p)
(((
p q) 
(p <-> q)) -> (p q))
(((
p) -> p) -> p)
(p -> p)
((p -> p) (p -> p))
((p q) -> (p q))
(((p q r) (p q r) (p r q) (p q r) (q r p) (q p r) (r p q) (p q r)) -> )
(((p r) q) p)
(p q)
(((p -> q) p) -> q)
(p -> p)
(p -> p)
(p -> p)
((p -> p) -> p)
((p -> q) (q -> p))
((p <-> q) -> p)
((p p q) (p p q) p)
(((p q) q) -> (p q))
((p -> q) (p -> p))
((p p) -> q)
(p -> p)
(p -> p)
((p q) -> (p -> q))
(((p q) (p q)) -> (p q))
(((p q) -> (p -> q)) (((p q) (p q)) -> (p q)))
((p p q) (p p q))