Seja a proposição composta P(p, q)=(p∨~p)→q, a tabela verdade da operação é dada abaixo
15.png (176×100)