离散数学,等值演算法判断命题公式的类型8、9两个小题,死活不知道怎么化了,求大神帮忙
来源:学生作业帮助网 编辑:作业帮 时间:2024/06/19 16:27:42
![离散数学,等值演算法判断命题公式的类型8、9两个小题,死活不知道怎么化了,求大神帮忙](/uploads/image/z/5537880-0-0.jpg?t=%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%2C%E7%AD%89%E5%80%BC%E6%BC%94%E7%AE%97%E6%B3%95%E5%88%A4%E6%96%AD%E5%91%BD%E9%A2%98%E5%85%AC%E5%BC%8F%E7%9A%84%E7%B1%BB%E5%9E%8B8%E3%80%819%E4%B8%A4%E4%B8%AA%E5%B0%8F%E9%A2%98%2C%E6%AD%BB%E6%B4%BB%E4%B8%8D%E7%9F%A5%E9%81%93%E6%80%8E%E4%B9%88%E5%8C%96%E4%BA%86%2C%E6%B1%82%E5%A4%A7%E7%A5%9E%E5%B8%AE%E5%BF%99)
离散数学,等值演算法判断命题公式的类型8、9两个小题,死活不知道怎么化了,求大神帮忙
离散数学,等值演算法判断命题公式的类型
8、9两个小题,死活不知道怎么化了,求大神帮忙
离散数学,等值演算法判断命题公式的类型8、9两个小题,死活不知道怎么化了,求大神帮忙
8)((p↔q)→┐(p∨q)
((p→q)∧(q→p))→┐(p∨q)
┐((┐p∨q)∧(┐q∨p))∨┐(p∨q)
(┐(┐p∨q)∨┐(┐q∨p))∨(┐p∧┐q)
((┐┐p∧┐q)∨(┐┐q∧┐p))∨(┐p∧┐q)
((p∧┐q)∨(q∧┐p))∨(┐p∧┐q)
(p∧┐q)∨(┐p∧q)∨(┐p∧┐q)
m2∨m1∨m0,
故该命题公式是非重言的可满足式.
9)((p→q)∧(q→r))→(p→r)
┐((┐p∨q)∧(┐q∨r))∨(┐p∨r)
(┐(┐p∨q)∨┐(┐q∨r))∨(┐p∨r)
((┐┐p∧┐q)∨(┐┐q∧┐r))∨(┐p∨r)
(p∧┐q)∨(q∧┐r)∨(┐p∨r)
(p∧┐q)∨((q∨(┐p∨r))∧(┐r∨(┐p∨r)))
(p∧┐q)∨(┐p∨q∨r)
(p∨(┐p∨q∨r))∧(┐q∨(┐p∨q∨r))
1∧1
1
故该命题公式是重言式.