p
(q
p)
(p
q)
(p
p)
Distributive law
(p
q)
p
Distributive law
p
Construct a truth table to check that (p
q)
p
p