• 2022-06-03
    计算(¬P → Q)←→ R主析取范式规范正确的是 ——————— 。
    A: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R)
    B: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R)
    C: ( P ∧ Q ∧ R)∨ (P ∧ ¬Q ∧ R)∨ (¬P ∧ Q ∧ R) ∨ (¬P ∧ ¬Q ∧ ¬R)
    D: (¬P ∧ ¬Q ∧ ¬R) ∨ (¬P ∧ Q ∧ R) ∨ (P ∧ ¬Q ∧ R) ∨ ( P ∧ Q ∧ R)