)∧(┐p∨q∨r)∧(┐p∨┐q∨r)(6)　　在(6)式中销去重复出现的合取支，得：　　(p∨q∨r)∧(┐p∨q∨r)∧(┐p∨┐q∨r)(7)　　所以，(┐p→┐q)→r的优合取范式为(p∨q&
(22/25)
下页
上页
返回列表
返回