作业帮麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程
来源：学生作业帮 编辑：作业帮 分类：数学作业 时间：2024/07/03 11:00:59
麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程
(p∨q)→(p∧r)
┐(p∨q)∨(p∧r)
(┐p∧┐q)∨(p∧r)
(((┐p∧┐q)∧r)∨((┐p∧┐q)∧┐r))∨(((p∧r)∧q)∨((p∧r)∧q))
(┐p∧┐q∧r)∨(┐p∧┐q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)
m0∨m1∨m5∨m7
M2∧M3∧M4∧M6,
得知该公式是非重言的可满足式.
再问： 最后两行不了解
再问： m M是什么意思
再问： 我是刚学，不太懂
再问： 帮我讲一下行不
再答： 翻书了吗？mi，Mi 分别指的是极小项和极大项，教材上有详细介绍的。
再问： 翻了
再问： 还没加到
┐(p∨q)∨(p∧r)
(┐p∧┐q)∨(p∧r)
(((┐p∧┐q)∧r)∨((┐p∧┐q)∧┐r))∨(((p∧r)∧q)∨((p∧r)∧q))
(┐p∧┐q∧r)∨(┐p∧┐q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)
m0∨m1∨m5∨m7
M2∧M3∧M4∧M6,
得知该公式是非重言的可满足式.
再问： 最后两行不了解
再问： m M是什么意思
再问： 我是刚学，不太懂
再问： 帮我讲一下行不
再答： 翻书了吗？mi，Mi 分别指的是极小项和极大项，教材上有详细介绍的。
再问： 翻了
再问： 还没加到