销去┐┐：(┐p∧q)∨r(3)　　展开：(┐p∨r)∧(q∨r)(4)　　在(4)式中，用(┐p∨r)∨(q∧┐q)置换(┐p∨r)，用(q∨r)∨(p∧┐p)置换(q∨r)，得((┐p∨r)∨(q∧┐q))
(20/25)
下页
上页
返回列表
返回