A＝M0∧M3∧M5. ∴┑A＝M1∧M2∧M4∧M6∧M7.

题目

A＝M0∧M3∧M5. ∴┑A＝M1∧M2∧M4∧M6∧M7.
A＝M0∧M3∧M5.
∴┑A＝M1∧M2∧M4∧M6∧M7.
请问这两个为什么会相等呢?

答案

Mi是三个变元P,Q,R的极大项.
M0＝P∨Q∨R.M1＝P∨Q∨┑R,M2＝P∨┑Q∨R.M3＝P∨┑Q∨┑R,
M4＝┑P∨Q∨R.M5＝┑P∨Q∨┑R,M6＝┑P∨┑Q∨R.M7＝┑P∨┑Q∨┑R,
A＝M0∧M3∧M5＝（P∨Q∨R）∧（P∨┑Q∨┑R）∧（┑P∨Q∨┑R）
┑A＝（┑P∧┑Q∧┑R）∨（┑P∧Q∧R）∨（P∧┑Q∧R）＝[不难但是麻烦的
运算,分配率,配以“∨（R∧┑R）”等等]＝M1∧M2∧M4∧M6∧M7.