(p∨「q)→(q→p)用真值表方法判定是否是重言式

p q -q pv-q q->p (pv-q)->(q->p)
0 0 1 1 1 1
0 1 0 0 1 1
1 0 1 1 0 0
1 1 0 1 1 1
故不是重言式，是可满足式
注意下，p->q为假当且仅当p为1,q为0，其他的全为1本回答被网友采纳

p
q
-q
pv-q
q->p
(pv-q)->(q->p)
0
0
1
1
1
1
0
1
0
0
1
1
1
0
1
1
0
0
1
1
0
1
1
1
故不是重言式，是可满足式
注意下，p->q为假当且仅当p为1,q为0，其他的全为1