?(?P??Q)?(?P?Q)?(P??Q)?(P?Q)（主析取范式）
6、?(P→Q)?(R?P)
解： ?(P→Q)?(R?P)??(?P?Q)?(R?P)
?(P??Q)?(R?P)（析取范式） ?(P??Q?(R??R))?(P?(?Q?Q)?R)
?(P??Q?R)?(P??Q??R)?(P??Q?R)?(P?Q?R) ?(P??Q?R)?(P??Q??R)?(P?Q?R)（主析取范式）
?(?(P→Q)?(R?P))?(P?Q??R)?(?P?Q?R)?(?P??Q?R)
? (?P??Q??R)?(?P?Q??R)（原公式否定的主析取范式）
?(P→Q)?(R?P)?(?P??Q?R)?(P??Q??R)?(P?Q??R)
?(P?Q?R)?(P??Q?R)（主合取范式）
7、P?(P→Q)
解：P?(P→Q)?P?(?P?Q)?(P??P)?Q
?T(主合取范式)
?(?P??Q)?(?P?Q)?(P??Q)?(P?Q)（主析取范式）
8、(R→Q)?P
解：(R→Q)?P?(?R?Q )?P
? (?R?P)?(Q?P) （析取范式） ? (?R?(Q??Q)?P)?((?R?R)?Q?P)
?(?R?Q?P)?(?R??Q?P)?(?R?Q?P)?(R?Q?P) ?(P?Q??R)?(P??Q??R)?(P?Q?R)（主析取范式）
?((R→Q)?P)?(?P??Q??R)?(?P?Q??R）?(P??Q?R)
?(?P?Q?R)?(?P??Q?R)（原公式否定的主析取范式）
(R→Q)?P?(P?Q?R)?(P??Q?R)?(?P?Q??R)
?(P??Q??R)?(P?Q??R)（主合取范式）
9、P→Q
解：P→Q??P?Q（主合取范式）
?(?P?(Q??Q))?((?P?P)?Q)
?(?P?Q)?(?P??Q)?(?P?Q)?(P?Q)
13
?(?P?Q)?(?P??Q)?(P?Q)（主析取范式）
10、 P??Q
解： P??Q （主合取范式）
?(P?(?Q?Q))?((?P?P)??Q） ?(P??Q)?(P?Q)?(?P??Q)?(P??Q） ?(P??Q)?(P?Q)?(?P??Q)（主析取范式）
11、P?Q
解：P?Q（主析取范式）?(P?(Q??Q))?((P??P)?Q)
?(P??Q)?(P?Q)?(P?Q)?(?P?Q) ?(P??Q)?(P?Q)?(?P?Q)（主合取范式）
12、（P?R）?Q
解：（P?R）?Q
??(P?R)?Q ?(?P??R)?Q
?(?P?Q)?(?R?Q)（合取范式） ?(?P?Q?(R??R))?((?P?P)?Q??R)
?(?P?Q?R)?(?P?Q??R)?(?P?Q??R)?(P?Q??R) ?(?P?Q?R)?(?P?Q??R)?(?P?Q??R)?(P?Q??R) ?(?P?Q?R)?(?P?Q??R)?(P?Q??R)（主合取范式） ?（P?R）?Q
?(?P??Q?R)?(?P??Q??R)?(P?Q?R)?(P??Q?R)?(P??Q??R)
（原公式否定的主析取范式）
（P?R）?Q
?(P?Q??R)?(P?Q?R)?(?P??Q??R)?(?P?Q??R)
?(?P?Q?R)（主析取范式）
13、（P?Q）?R
解：（P?Q）?R
??(?P?Q)?R ?(P??Q)?R(析取范式)
14
?(P??Q?(R??R))?((P??P)?(Q??Q)?R)
?(P??Q?R)?(P??Q??R)?(P?Q?R)?(P??Q?R)?(?P?Q?R)
?(?P??Q?R)
?(P??Q?R)?(P??Q??R)?(P?Q?R)?(?P?Q?R)
?(?P??Q?R)(主析取范式）
（P?Q）?R
??(?P?Q)?R ?(P??Q)?R(析取范式) ?(P?R)?(?Q?R)(合取范式)
?(P?(Q??Q)?R)?((P??P)??Q?R)
?(P?Q?R)?(P??Q?R)?(P??Q?R)?(?P??Q?R) ?(P?Q?R)?(P??Q?R)?(?P??Q?R)(主合取范式)
14、(P?(Q?R))?(?P?(?Q??R))
解：(P?(Q?R))?(?P?(?Q??R))
?(?P?(Q?R))?(P?(?Q??R))
?(?P?Q)?(?P?R)?(P??Q)?(P??R)（合取范式） ?(?P?Q?(R??R))?(?P?(Q??Q)?R)?(P??Q?(R??R))
?(P?(Q??Q)??R)
?(?P?Q?R)?(?P?Q??R)?(?P?Q?R)?(?P??Q?R)
?(P??Q?R)?(P??Q??R)?(P?Q??R)?(P??Q??R)
?(?P?Q?R)?(?P?Q??R)?(?P??Q?R)?(P??Q?R)
?(P?Q??R)?(P??Q??R)(主合取范式)
?(P?(Q?R))?(?P?(?Q??R))
?(?P??Q??R)?(P?Q?R)(原公式否定的主合取范式) (P?(Q?R))?(?P?(?Q??R))
?(P?Q?R)?(?P??Q??R)(主析取范式)
15、P?(?P?(Q?(?Q?R)))
解：P?(?P?(Q?(?Q?R)))
? P?(P?(Q?(Q?R)))
15
? P?Q?R(主合取范式) ?(P?Q?R)
?(P??Q?R)?(P??Q??R)?(P?Q??R)?(?P?Q?R)
?(?P?Q??R)?(?P??Q?R)?(?P??Q??R)
(原公式否定的主合取范式)
(P?Q?R)
?(?P?Q??R)?(?P?Q?R)?(?P??Q?R)?(P??Q??R)
?(P??Q?R)?(P?Q??R)?(P?Q?R)(主析取范式)
16、(P?Q)?(P?R)
解、(P?Q)?(P?R)
?(?P?Q)?(?P?R) (合取范式) ?(?P?Q?(R??R)?(?P?(?Q?Q)?R)
?(?P?Q?R)?(?P?Q??R)?(?P??Q?R)?(?P?Q?R) ?(?P?Q?R)?(?P?Q??R)?(?P??Q?R)(主合取范式) (P?Q)?(P?R)
?(?P?Q)?(?P?R) ??P?(Q?R)(合取范式)
?(?P?(Q??Q)?(R??R))?((?P?P)?Q?R)
?(?P?Q?R)?(?P??Q?R)?(?P?Q??R)?(?P??Q?R)
?(?P?Q?R)?(P?Q?R)
?(?P?Q?R)?(?P??Q?R)?(?P?Q??R)?(?P??Q?R)?(P?Q?R)
(主析取范式)
三、证明：
1、P→Q，?Q?R，?R，?S?P=>?S
证明：
(1) ?R 前提 (2) ?Q?R 前提 (3) ?Q （1），（2）
16