计算机判断题较难

主析取与主合取范式 — 计算机判断题

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

题目

设 F(p,q,r)=(p∧¬q)∨r，变量次序为 p、q、r，行号按二进制 pqr 编号。有人认为 F 的主合取范式是 M₁∧M₃∧M₄∧M₅∧M₇，其中 Mᵢ 表示第 i 行对应的极大项。判断该说法是否正确。