(
p
q
)
¬
(
p
¬
q
)
;
(
p
q
)
(
¬
p
q
)
.