离散数学问题

第（1）题 (¬P∨¬Q)→(P↔¬Q) ⇔ ¬(¬P∨¬Q)∨(P↔¬Q) 变成 合取析取 ⇔ ¬(¬P∨¬Q)∨((P→¬Q)∧(¬Q→P)) 变成 合取析取 ⇔ ¬(¬P∨¬Q)∨((¬P∨¬Q)∧(Q∨P)) 变成 合取析取 ⇔ (P∧Q)∨((&#