；但是如果两个真值形式的优合取范式不同，则假设不成立，(┐p→┐q)→r和(┐q→┐p)→┐r并不矛盾。　　求(┐p→┐q)→r的优合取范式：　　销去→：┐(┐┐p∨┐q)∨r(1)　　内移┐：(┐┐┐p∧┐┐q)∨r(2)
(19/25)
下页
上页
返回列表
返回