A.自反性B.对称性C.反对称性D.传递性
单项选择题设G是简单有向图,可达矩阵P(G)刻划下列()关系。
A.点与点B.点与边C.边与边D.边与点
单项选择题下列公式中不是合取范式的是()。
A.¬pB.p∨(¬q∧r)C.p∧qD.p∨q∨r
单项选择题下列公式中()为永真式。
A.┐A∧┐B↔A∨┐BB.┐A∧┐B↔┐(A∨B)C.┐A∧┐B↔A∨BD.┐A∧┐B↔┐(A∧B)
单项选择题设命题公式G:¬P→(Q∧R),则使公式G取真值为1的P,Q,R赋值分别是()
A.0,0,0B.0,0,1C.0,1,0D.1,0,0
单项选择题命题公式(P∨Q)→Q为()
A.矛盾式B.可满足式C.重言式D.合取范式