数学 选择题 较难 ★ 精品

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

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

题目
设命题公式 G = (p∧q)→r,含命题变元 p, q, r。下列关于 G 的主范式的结论中,正确的是( ) A. G 的主析取范式为 m₀∨m₁∨m₂∨m₃∨m₄∨m₅∨m₇,主合取范式为 M₆ B. G 的主析取范式为 m₆,主合取范式为 M₀∨M₁∨M₂∨M₃∨M₄∨M₅∨M₇ C. G 的主析取范式为 m₀∨m₆∨m₇,主合取范式为 M₁∨M₂ D. G 的主析取范式含全部 8 个极小项,故 G 为永真式