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

Analise a tabela-verdade a seguir.

	p	~p	p ∧ ~p	~(p ∧ ~p)
1.	V	F	F	V
2.	F	V	F	V

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