(p↔q)→r
⇔ ¬(p↔q)∨r 变成 合取析取
⇔ ¬((p→q)∧(q→p))∨r 变成 合取析取
⇔ ¬((¬p∨q)∧(¬q∨p))∨r 变成 合取析取
⇔ (¬(¬p∨q)∨¬(p∨¬q))∨r 德摩根定律
⇔ ((p∧¬q)∨(¬p∧q))∨r 德摩根定律
⇔ (p∧¬q)∨(¬p∧q)∨r 结合律
⇔(p∨(¬p∧q)∨r)∧(¬q∨(¬p∧q)∨r) 分配率 拆开第1个括号
⇔ (p∨q∨r)∧(¬q∨(¬p∧q)∨r) 合取析取 吸收率
⇔ (p∨q∨r)∧(¬q∨¬p∨r) 合取析取 吸收率
得到主合取范式
温馨提示：答案为网友推荐，仅供参考