多项选择题
A.自反性B.对称性C.反对称性D.传递性
设G是简单有向图,可达矩阵P(G)刻划下列()关系。A.点与点B.点与边C.边与边D.边与点
单项选择题设G是简单有向图,可达矩阵P(G)刻划下列()关系。
A.点与点B.点与边C.边与边D.边与点
下列公式中不是合取范式的是()。A.¬pB.p∨(¬q∧r)C.p∧qD.p∨q∨r
单项选择题下列公式中不是合取范式的是()。
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∧┐...
单项选择题下列公式中()为永真式。
A.┐A∧┐B↔A∨┐BB.┐A∧┐B↔┐(A∨B)C.┐A∧┐B↔A∨BD.┐A∧┐B↔┐(A∧B)