麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/17 12:45:24
![麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程](/uploads/image/z/7212351-39-1.jpg?t=%E9%BA%BB%E7%83%A6%E5%A4%A7%E7%A5%9E%E7%9C%8B%E4%B8%8B%2C%E7%94%A8%E7%AD%89%E5%80%BC%E6%BC%94%E7%AE%97%E6%B3%95%E5%88%A4%E6%96%AD%E5%85%AC%E5%BC%8F%E7%B1%BB%E5%9E%8B%2C%E6%89%93%E5%8B%BE%E9%82%A3%E4%B8%AA%2C%E9%BA%BB%E7%83%A6%E5%86%99%E4%B8%8B%E8%BF%87%E7%A8%8B)
xQn0}P+U$nnvπY6k:Eh!(1*4 MR}tnbdl_#iX❈oƭa2o;۸};_~[ dMM~)]
&mȷ}F^V^u9g="AP{k8sAêfӿ+˖z[o~,YlR rʖ2
B0@bCBdL`b*&-EꪥAغc_Da7ʢji<˂4Ց@uŰ#:0x._4oGQ̺[-roGBvvpE$Ty+Fq\Ο^f;KOtij
])h)%$KJ
j
{Ovƫq_[d?q"(ɔԲ+
麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程
麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程
麻烦大神看下,用等值演算法判断公式类型,打勾那个,麻烦写下过程
(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,
得知该公式是非重言的可满足式.