【单选题】(¬∃xF(x) ∨ ∀yG(y)) ∧ (F(u)→∀zH(z))的前束范式 A: ∀x∀y∀z((F(x) → G( y)) ∧ (F(u)→ H(z))) B: ∃x∀y∀z((¬F(x) → G( y)) ∧ (F(u)→ H(z))) C: ∀x∃y∀z((F(x) → G( y)) ∧ (F(u)→ H(z))) D: ∀x∃y∃z((F(x) → G( y)) ∧ (F(u)→ H(z))) 选题 范式 发布时间:2024-05-19 12:17:01