主析取范式与主合取范式 — 数学选择题
题目
设命题公式 G = (p→q)∧(¬p→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₁∧M₃∧M₆∧M₇
D. G 的主析取范式含全部 8 个极小项，故 G 为永真式