Seja a proposição composta P(p, q)=(p∨~p)→q, a tabela verdade da operação é dada abaixo
p
q
(p∨~p)→q
V
X
F
Y
Z
W
X=F, Y=F, Z=V e W=F
X=V, Y=V, Z=V e W=F
X=V, Y=F, Z=F e W=F
X=V, Y=F, Z=V e W=V
X=V, Y=F, Z=V e W=F