已知公式A(p,q,r)的主合取范式为M0∧M3∧M5,它的主析取范式为M1∧M2∧M4∧M6∧M7
举一反三
- 已知公式A含3个命题变项p,q,r,它的主析取范式为m0∨m2∨m3 ,则它的主合取范式为 A: M4ÙM5ÙM6ÙM7 B: M0∨M2∨M3 C: M0ÙM2ÙM3 D: M1ÙM4ÙM5ÙM6ÙM7
- (p→q)r的主析取范式为:m1∨m3∨m4∨m7,则它的主合取范式为:M0∧M2∧M5∧M6
- 命题公式(p∧q)∨(¬p∧r)∨(q∧r)的主析取范式是m1∨m3∨m6∨m7,那么它的主合取范式就是M0∧M2∧M4∧M5。
- 命题公式(p→q)→r的主析取范式是() A: m0∨m1∨m3∨m7 B: m1∨m3∨m4∨m5∨m7 C: m1∨m2∨m3∨m5∨m6 D: m0∨m1∨m3∨m6∨m7
- 3个变元的公式A的主合取范式是M2∧M3,则A的主析取范式是: A: m0∨m1 B: m2∨m3 C: m1∨m4∨m5∨m6∨m7∨m8 D: m0∨m1∨m4∨m5∨m6∨m7