• Proposição ~(p ∧ ~p)

Analise a tabela-verdade a seguir.

Conclusão: a proposição ~(p ∧ ~p)é uma Tautologia, devido ao resultado final possuir somente valores lógicos V.