问题标题：
离散数学的公式化简后得出是什么类型?((p→q)∧(q→r))→(p→r)这个命题公式类型是可满足式?永假式?永真式?
问题描述：
离散数学的公式化简后得出是什么类型?
((p→q)∧(q→r))→(p→r)
这个命题公式类型是可满足式?永假式?永真式?
陈文飞回答：
((p→q)∧(q→r))→(p→r)┐((┐p∨q)∧(┐q∨r))∨(┐p∨r)(┐(┐p∨q)∨┐(┐q∨r))∨(┐p∨r)((p∧┐q)∨(q∧┐r))∨(┐p∨r)((p∧┐q)∨┐p)∨((q∧┐r)∨r)((p∨┐p)∧(...
点击显示
数学推荐
热门数学推荐