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