离散数学 命题逻辑等值演算 坐等大神解答第4题(3)(4),谢谢
发布网友
发布时间：2024-03-05 12:56
共1个回答
热心网友
时间：2024-03-13 16:09
<=> ┐（（p→q）∧（q→p））
<=> ┐（p→q）∨┐（q→p）
<=>┐（┐p∨q）∨┐（┐q∨p）
<=>（p∧┐q）∨（q∧┐p）
<=>（p∨q）∧（┐p∨┐q）
<=>（p∨q）∧┐（p∧q）
（4）（p∧┐q）∨（┐p∧q）
<=>（p∨┐p）∧（p∨q）∧（┐q∨┐p）∧（┐q∨q）
<=>（p∨q）∧（┐q∨┐p）
<=>（p∨q）∧┐（q∧p）
