离散数学 将(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 德摩根定律
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
