Dada duas proposições, p e q, podemos dizer que a alternativa que corresponde a resolução da tabela-verdade para a coluna:

~(p∧q)∨∼(q↔p)

É a seguinte: