问答题
证明¬（p∧¬q）∧（¬q∨r）∧¬r→¬p是重言式
（¬（p∧¬q）∧（¬q∨r）∧¬r）→¬p⇔¬（¬（p∧¬q）∧（¬q∨r）∧¬r）∨¬p变成合取析取......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
填空题 判定公式（（P→Q）∧（R→Q））↔（（P∨R）→Q）的类型（）。
填空题 求∀x（P→Q（x））∨R（e）的真值（）。
填空题 计算Z6的所有理想（）。
