离散数学,谢谢

如题所述

(P∨Q)→(P∧¬R)
⇔ ¬(P∨Q)∨(P∧¬R) 变成 合取析取
⇔ (¬P∧¬Q)∨(P∧¬R) 德摩根定律
⇔(¬P∨(P∧¬R))∧(¬Q∨(P∧¬R)) 分配律
⇔(¬P∨¬R)∧(¬Q∨P)∧(¬Q∨¬R) 分配律
⇔(¬P∨(¬Q∧Q)∨¬R)∧(¬Q∨P∨(¬R∧R))∧((¬P∧P)∨¬Q∨¬R) 补项
⇔(¬P∨¬Q∨¬R)∧(¬P∨Q∨¬R)∧(P∨¬Q∨¬R)∧(P∨¬Q∨R)∧(¬P∨¬Q∨¬R)∧(P∨¬Q∨¬R) 分配律
⇔(¬P∨¬Q∨¬R)∧(¬P∨Q∨¬R)∧(P∨¬Q∨¬R)∧(P∨¬Q∨R) 等幂律
得到主合取范式
温馨提示:答案为网友推荐,仅供参考
相似回答