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

Analise a tabela-verdade a seguir.

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