计算机填空题标准

主析取与主合取范式 — 计算机填空题

离散数学（大学通用）命题逻辑 AI 三重审校通过

题目

设命题公式 G 含变元 p、q、r，变量次序为 p、q、r，行号按二进制 pqr 编号（p 为最高位）。已知 G 的主合取范式为 M1 ∧ M4 ∧ M6，则 G 的主析取范式为 ___（用极小项 mi 的析取表示，i 按下标从小到大排列）。