计算机 选择题 较难

主析取与主合取范式 — 计算机选择题

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

题目
设 F=(p∨q)∧(¬p∨r),变量次序为 p、q、r,且行号按二进制 pqr 解释。F 的主析取范式与主合取范式是哪一组? A. (¬p∧q∧¬r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r);(p∨q∨r)∧(p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r) B. (¬p∧q∧¬r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r);(p∨q∨r)∧(p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨¬r) C. (¬p∧q∧¬r)∨(¬p∧q∧r)∨(p∧¬q∧r);(p∨q∨r)∧(p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r) D. (¬p∧q∧¬r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r);(p∨q∨r)∧(p∨q∨¬r)∧(¬p∨q∨¬r)∧(¬p∨¬q∨r)