问答题

【计算题】试用将公式化为主范式的方法，证明等价式：（P→Q）→（P∧Q）⇔（¬P→Q）∧（P∨¬Q）。

答案：

你可能感兴趣的试题

【计算题】计算：[1/5]，[1/3]，[-1/2]，[33/4]，[-23/3]，[-3+[-1/2]]，[3-[1/2]].

答案：

【计算题】试用将公式化为主范式的方法，证明等价式：（P∧Q）∧（P→¬Q）⇔（¬P∧¬Q）∧（P∨Q）。

答案：