Sejam p e q duas proposições lógicas simples tais que o valor lógico da implicação (~p) → (~q) é FALSO.
O valor lógico da proposição p˅(~q) é igual ao valor lógico da proposição
(~q) → p
(~q) → (~p)
(~p) ˅ (~q)
(~p) ˄ q
p ˄ q