离散数学问题

求主析取范式，过程如下： 第（1）题 (¬P∨¬Q)→(P↔¬Q) ⇔ ¬(¬P∨¬Q)∨(P↔¬Q) 变成 合取析取 ⇔ ¬(¬P∨¬Q)∨((P→¬Q)∧(¬Q→P)) 变成 合取析取 ⇔ ¬(¬P∨¬Q)∨((¬P∨¬Q)∧(Q∨P)) 变成 合取析取 V