单项选择题
设G是简单有向图，可达矩阵P（G）刻划下列（）关系。
A.点与点B.点与边C.边与边D.边与点
单项选择题 下列公式中不是合取范式的是（）。
单项选择题 下列公式中（）为永真式。
单项选择题 设命题公式G：¬P→（Q∧R），则使公式G取真值为1的P，Q，R赋值分别是（）
