单选题
公式______是非重言式的可满足式。公式______是析取范式。
A、
┐(P→Q)∧
B、
Q∧RB．P→(P∨Q)
C、
(P∧Q)∨(P∧┐Q)
D、
┐(P∧Q)→┐P∨┐Q
【正确答案】
C
【答案解析】
A、
┐P∨(Q∧┐R)∨(P∧R)
B、
(P∨┐Q)∧(Q∨R)∧┐R
C、
(P∨Q)∧┐(Q∨┐R)
D、
(P→Q)∨(P∧R)
【正确答案】
A
【答案解析】
[分析] A为矛盾式，B、D为重言式，C为非重言式的可满足式。根据析取范式的定义，只有A满足。
提交答案
关闭