【单选题】
公式______是非重言式的可满足式。公式______是析取范式。
A.┐P∨(Q∧┐R)∨(P∧R)
B、P∨┐Q)∧(Q∨R)∧┐R
C、P∨Q)∧┐(Q∨┐R)
D、P→Q)∨(P∧R)
正确答案
正在加载...
答案解析
正在加载...
根据网考网考试中心的答案统计,该试题:
57%的考友选择了A选项5%的考友选择了B选项16%的考友选择了C选项22%的考友选择了D选项
你可能感兴趣的试题
第1题:
Due to a constantly ______ environment, a poor understanding of the user’s needs and preferences, as well as a ______ of willingness to modify ______ organizational structures and decision models, the full economic potential of Web Information Systems (WIS) has not been realized by now. The data object types of the ______ meta model, theExtended World Wide WebDesign Technique (eW3DT), provide hypertext designers ______ a conceptual, user-centric framework and graphical notation for the construct第2题:
一进程刚获得三个主存块的使用权,若该进程访问页面的次序是1,3,2,1,2,1,5,1,2,3。当采用先进先出调度算法时,发生缺页次数是______次,而采用LRU算法时,缺页数是______次。
A.3
B.4
C.5
D.6
第3题:
公式______是非重言式的可满足式。公式______是析取范式。
A.┐(P→Q)∧
B.Q∧RB.P→(P∨Q)
C、P∧Q)∨(P∧┐Q)
D.┐(P∧Q)→┐P∨┐Q
第4题:
Due to a constantly ______ environment, a poor understanding of the user’s needs and preferences, as well as a ______ of willingness to modify ______ organizational structures and decision models, the full economic potential of Web Information Systems (WIS) has not been realized by now. The data object types of the ______ meta model, theExtended World Wide WebDesign Technique (eW3DT), provide hypertext designers ______ a conceptual, user-centric framework and graphical notation for the construct