门| Sudo GATE 2020 Mock II(2019年1月10日)|问题18

以下哪项不是重言式?
(A) ((p∧q)∧(q∧r))→(p∧r)
(B) ((p⊕q)∧(q⊕r))→(p⊕r)
(C) ((p∨q)∧(¬p∨r))→(q∨r)
(D) ((A∨B)→C))↔((A→C)∨(B→C))答案： (D)
说明：选项(D)((A∨B)→C))↔((A→C)∨(B→C))不是重言式。
这个问题的测验