离散数学:求(p↔p)→r的主合取范式?求学霸帮忙!

如题所述

(p↔p)→r
⇔ ¬(p↔p)∨r 变成 合取析取
⇔ ¬((p→p)∧(p→p))∨r 变成 合取析取
⇔ ¬((¬p∨p)∧(¬p∨p))∨r 变成 合取析取
⇔ ¬(¬p∨p)∨r 等幂律
⇔ (¬p∧p)∨r 德摩根定律
⇔ (¬p∨r)∧(p∨r) 分配律

得到主合取范式
温馨提示:答案为网友推荐,仅供参考
相似回答