问答题
证明¬(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的所有理想()。