主析取与主合取范式 — 计算机选择题
题目
设命题公式 G = (p∧¬q)∨(q∧r)，命题变元次序为 p、q、r。则 G 的主析取范式为（ ）
A. m₂∨m₃∨m₅∨m₇ B. m₃∨m₄∨m₅∨m₇ C. m₁∨m₃∨m₅∨m₆ D. m₄∨m₅∨m₆∨m₇
相关题目
计算机
填空题
设命题公式 G 含变元 p、q、r，变量次序为 p、q、r，行号按二…
主析取与主合取范式
计算机
判断题
判断：设 G 是含命题变元 p、q、r 的公式，若 G 的主析取范式…
主析取与主合取范式
计算机
判断题
设 F(p,q,r)=(p∧¬q)∨r，变量次序为 p、q、r，行号按二进制 pqr …
主析取与主合取范式
计算机
判断题
判断：命题公式的主合取范式由其真值表中取值为真的行所…
主析取与主合取范式
计算机
选择题
设 F=(p∨q)∧(¬p∨r)，变量次序为 p、q、r，且行号按二进制 pq…
主析取与主合取范式
计算机
判断题
判断：若含两个命题变元 P、Q 的公式的主析取范式恰为极小…
主析取与主合取范式