or;r)∧(┐p∨q∨r)∧(┐p∨┐q∨r)。　　求┐((┐q→┐p)→┐r)的优合取范式：　　销去→：┐(┐(┐┐q∨┐p)∨┐r)(1)　　内移┐：(┐┐┐┐q∨┐┐┐p)∧┐┐r(2)　　销去┐┐：(q∨┐p
(23/25)
下页
上页
返回列表
返回