离散数学 求主析取范式
展开全部
(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)
更多追问追答
追问
用了吸收律的那一步没看懂，麻烦你请教一下😄
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
上海华然企业咨询
2024-10-28 广告
作为上海华然企业咨询有限公司的一员，我们深知大模型测试对于企业数字化转型与智能决策的重要性。在应对此类测试时，我们注重数据的精准性、算法的先进性及模型的适用性，确保大模型能够精准捕捉市场动态，高效分析企业数据，为管理层提供科学、前瞻的决策支...
点击进入详情页
本回答由上海华然企业咨询提供
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
|
广告 您可能关注的内容 |
