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

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

问答题 求以下公式的主析取范式，再用主析取范式求合取范式。 （p→q）∧（q→r）