(((A→B)∧(B→C))→(A→C)) 的真值表

(((A→B)∧(B→C))→(A→C))

属性: 重言式

真值表
ABC(((A→B)∧(B→C))→(A→C))
假假假真
真假假真
假真假真
真真假真
假假真真
真假真真
假真真真
真真真真
在计算器中尝试