【单选题】命题公式 A ® ( ~ A ∧ B ∧ C) 的公式类型是
【单选题】以下是命题公式 p ® (q ∧ ~ r) 的一种成真赋值的成真赋值的是 p, q, r 分别等于:
【单选题】已知命题公式G= Ø (P ® Q) ∧R,则G的主析取范式是()。
【单选题】与 A Å B 不等值的命题公式是
B.
(A ∧ ~ B) ∨ ( ~ A ∧ B)
【单选题】以下命题公式是永真式的是
A.
(A ® B) ® ((A ® (B ® C)) ® (A ® C))
B.
(A ® B) ® ((A ® ~ B) ® ~ A)
D.
(A Å B) ® (A ∧ B) ∨ ~ (A ∧ B)