结构推理
用真值表法判定公式P?(Q∧R)→P∨Q∨R是永真式、永假式还是可满足式．
【正确答案】
构造相应的真值表为：
P Q R
Q∧R
P?(Q∧R)
P∨Q ∨R
P?(Q∧R)→P∨Q∨R
F F F
F
F
F
T
F F T
F
F
T
T
F T F
F
F
T
T
F T T
T
T
T
T
T F F
F
T
T
T
T F T
F
T
T
T
T T F
F
T
T
T
T T T
T
F
T
T
结果对所有指派均为真，故为永真式．
【答案解析】
提交答案
关闭