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