离散数学 求主析取范式
1个回答
展开全部
(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)∨(¬p∧¬r)∨(p∨q∨r) 分配律
⇔ (¬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∨q∨r))∨(p∨q∨r) 德摩根定律
⇔1
永真式,等价于下列主析取范式:
(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))∨(p∨q∨r) 德摩根定律
⇔ (¬p∧(¬q∨¬r))∨(p∨q∨r) 德摩根定律
⇔ (¬p∧¬q)∨(¬p∧¬r)∨(p∨q∨r) 分配律
⇔ (¬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∨q∨r))∨(p∨q∨r) 德摩根定律
⇔1
永真式,等价于下列主析取范式:
(p∧q∧r)∨(p∧q∧¬r)∨(p∧¬q∧r)∨(p∧¬q∧¬r)∨(¬p∧q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧¬q∧¬r)∨(¬p∧q∧r)
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询