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: