离散数学,等值演算法判断命题公式的类型8、9两个小题,死活不知道怎么化了,求大神帮忙
来源:学生作业帮助网 编辑:作业帮 时间:2024/09/29 15:00:21
xS[oA+
.{_03{)R1[iKD
ec1(2_pf*>2||sn^WOP(vP{|VE:>hFGԫ]T{(mN}N*ĭ.tv7s\|)I|z՛A:t8f+YxԱղ\h_aYvP,x),NJ+{9Knn.*wMaYƳ7 24^VbpMAΨxV081mՐM e
e
IfUBMF1.4 Y,%("QjarAN.8q?}:N#T(Q x`7]nbRw9.%Rf1};̞
离散数学,等值演算法判断命题公式的类型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
故该命题公式是重言式.