p → ((r → q) ∧ (¬r → ¬q))的主合取范式

首先，根据蕴含的定义，将原命题转化为 ¬p ∨ ((r → q) ∧ (¬r → ¬q))。

接下来，应用 De Morgan 定律将括号内的合取式转化为析取式，得到

¬p ∨ ((¬r ∨ q) ∧ (r ∨ ¬q))

然后，应用分配律展开括号，得到

(¬p ∨ ¬r ∨ q) ∧ (¬p ∨ r ∨ ¬q)

这就是原命题的主合取范式。