主析取与主合取范式 — 计算机选择题
题目
设 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)