离散数学，等职演算判断公式类型：(¬p→q)→(q→¬p)
- 培训职业
- 2025-05-05 04:55:48
(¬p→q)→(q→¬p)
⇔(p∨q)→(¬q∨¬p)
⇔¬(p∨q)∨(¬q∨¬p)
⇔(¬p∧¬q)∨(¬q∨¬p)
⇔(¬p∧¬q)∨¬q∨¬p
⇔¬q∨¬p
可满足式
上一篇
卧室风水禁忌有哪些
下一篇
西工大MBA面试流程
(¬p→q)→(q→¬p)
⇔(p∨q)→(¬q∨¬p)
⇔¬(p∨q)∨(¬q∨¬p)
⇔(¬p∧¬q)∨(¬q∨¬p)
⇔(¬p∧¬q)∨¬q∨¬p
⇔¬q∨¬p
可满足式
上一篇
卧室风水禁忌有哪些
下一篇
西工大MBA面试流程
多重随机标签