数学 选择题 简单

主析取范式与主合取范式 — 数学选择题

离散数学(计算机类) 命题逻辑 AI 三重审校通过

题目
已知公式 G = p → q,它在赋值 00、01、11 下为真,在赋值 10 下为假。则 G 的主析取范式与主合取范式分别是( ) A. 主析取范式为 m₀ ∨ m₁ ∨ m₂,主合取范式为 M₃ B. 主析取范式为 m₀ ∨ m₁ ∨ m₃,主合取范式为 M₂ C. 主析取范式为 m₂ ∨ m₃,主合取范式为 M₀ ∨ M₁ D. 主析取范式为 m₀ ∨ m₂ ∨ m₃,主合取范式为 M₁