Considerando-se que P e Q sejam proposições simples,
a tabela a seguir mostra o início da construção da tabela verdade
da proposição Pv[~(P∧Q)], em que ~X indica a negação da
proposição X.
Completando a tabela, se necessário, assinale a opção que mostra, na ordem em que estão, os elementos da coluna referente à proposição P∨[~(P∧Q)].
Completando a tabela, se necessário, assinale a opção que mostra, na ordem em que estão, os elementos da coluna referente à proposição P∨[~(P∧Q)].
