，此即主析取范式。
主析取范式中没出现的极小项为，，，所以主合取
13567
范式中含有三个极大项，，
MM mmm 02
，故原式的主合取范式。
024 4024
9、用真值表法求下面公式的主析取范式： （1） q
解：公式的真值表如下：
r
(p
0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 1 0 1 0 1
由真值表可以看出成真赋值的情况有7种，此7种成真赋值所对应的极小项的析取即为主析 取范式，故主析取范式 1234567
习题三及答案：（P52-54）
11、填充下面推理证明中没有写出的推理规则。 前提： 结论：s
证明：
① p 前提引入 ② 前提引入
③ q ①②析取三段论
④ 前提引入
⑤ r ③④析取三段论
⑥ 前提引入
⑦ s ⑤⑥假言推理
15、在自然推理系统P中用附加前提法证明下面推理： （2）前提：
结论：
证明：用附加前提证明法。
① p 附加前提引入
② ①附加
③ 前提引入
④ ②③假言推理 ⑤ s ④化简 ⑥ ⑤附加
⑦ 前提引入
⑧ u ⑥⑦假言推理 故推理正确。
16、在自然推理系统P中用归谬法证明下面推理：
（1）前提：，，
结论：
证明：用归谬法