p
(~q
p)
p
(p
~q)
Commutative law
(p
p)
~q
Associative law
p
~q
Absorption law
Enter this as
p AND ~q