问答题 给定有向图G=〈V，E〉，形如图所示，求：它的邻接矩阵。

问答题 用真值表求以下公式的主析取范式 （p→q）→（p￢q）

问答题 在一阶逻辑自然推理系统Nx中构造下面推理的证明： 不存在不能表示成分数的有理数。无理数都不能表示成分数，所以，无理数都不是有理数。