
离散数学 将(p→( q∨┐p))∧q∧r化成等值的且仅含{┐,∧}的公式
2个回答
展开全部
(p→(q∨¬p))∧q∧r
⇔(p→(¬p∨q))∧q∧r 交换律 排序
⇔(¬p∨(¬p∨q))∧q∧r 变成 合取析取
⇔(¬p∨¬p∨q)∧q∧r 结合律
⇔(¬p∨q)∧q∧r 等幂律
⇔¬(p∧¬q)∧q∧r 德摩根定律
⇔(p→(¬p∨q))∧q∧r 交换律 排序
⇔(¬p∨(¬p∨q))∧q∧r 变成 合取析取
⇔(¬p∨¬p∨q)∧q∧r 结合律
⇔(¬p∨q)∧q∧r 等幂律
⇔¬(p∧¬q)∧q∧r 德摩根定律

2024-10-28 广告
作为上海华然企业咨询有限公司的一员,我们深知大模型测试对于企业数字化转型与智能决策的重要性。在应对此类测试时,我们注重数据的精准性、算法的先进性及模型的适用性,确保大模型能够精准捕捉市场动态,高效分析企业数据,为管理层提供科学、前瞻的决策支...
点击进入详情页
本回答由上海华然企业咨询提供
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询
广告 您可能关注的内容 |