问题标题:
离散数学的公式化简后得出是什么类型?((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)∧(...
查看更多
八字精批
八字合婚
八字起名
八字财运
2024运势
测终身运
姓名详批
结婚吉日