离散数学的主析取范式和主合取范式的计算怎么就是算不对,,画三角的第七题
((p∨q)→r)→p
⇔¬((p∨q)→r)∨p 变成 交并
⇔¬(¬(p∨q)∨r)∨p 变成 交并
⇔((p∨q)∧¬r)∨p 德摩根定律
⇔((p∨q)∨p)∧(¬r∨p)
⇔(p∨q)∧(¬r∨p)
⇔(p∨q∨(r∧¬r))∧(p∨(¬q∧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 变成 交并
⇔¬(¬(p∨q)∨r)∨p 变成 交并
⇔((p∨q)∧¬r)∨p 德摩根定律
⇔((p∨q)∨p)∧(¬r∨p)
⇔(p∨q)∧(¬r∨p)
⇔(p∨q∨(r∧¬r))∧(p∨(¬q∧q)∨¬r)
⇔(p∨q∨r)∧(p∨q∨¬r)∧(p∨¬q∨¬r)∧(p∨q∨¬r)
⇔(p∨q∨r)∧(p∨q∨¬r)∧(p∨¬q∨¬r)
温馨提示:答案为网友推荐,仅供参考