问答题

【计算题】试用将公式化为主范式的方法，证明等价式：P∨（P→（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）。

答案：