问答题
在一阶逻辑自然推理系统Nx中构造下面推理的证明： 不存在不能表示成分数的有理数。无理数都不能表示成分数，所以，无理数都不是有理数。
问答题 求以下公式的主析取范式，再用主析取范式求合取范式。 （p→q）∧（q→r）
问答题 给定PERT图，如图所示，求PERT图的关键路，并解释分配给时间为零的边。
问答题 求以下公式的主析取范式，再用主析取范式求合取范式。 （p∧q）∨r
