作图题
用真值表来验证(P∨q)∧￢p→q是否为有效式。
【正确答案】
推理有效
p
q
(P∨q)
￢p
(P∨q)∧￢p
(P∨q)∧￢p→q
1
1
1
0
0
1
1
0
1
0
0
1
0
1
1
1
1
1
0
0
0
1
0
1
【答案解析】
提交答案
关闭