求主析取范式:A=(p→¬q)→r A m0∨m2∨m4 B m0∧m2∧m4 C m1∧m3∧m5∧m6∧m7 D m1∨m3∨m5∨m6∨m7

解答：

正确答案是 D m1∨m3∨m5∨m6∨m7

求解过程：

消除蕴含符号:

(p→¬q)→r ⇔ ¬(¬p∨¬q)∨r ⇔ (p∧q)∨r

找到主析取范式对应的最小项:

(p∧q)∨r 等价于 (p∧q∧r) ∨ (p∧q∧¬r) ∨ (¬p∧q∧r) ∨ (¬p∧¬q∧r) ∨ (p∧¬q∧r)

根据真值表^[1]，我们可以找到每个最小项对应的编号：

(p∧q∧r) : m7

(p∧q∧¬r) : m6

(¬p∧q∧r) : m5

(¬p∧¬q∧r) : m1

(p∧¬q∧r) : m3

因此，主析取范式为： m1∨m3∨m5∨m6∨m7