由于公式含3个命题变项,并且已知有3个成真赋值001,010,111,因而有5个成假赋值000,011,100,101,110。 成真赋值对应的极小项分别为m1,m2,m7,故主析取范式为A m1∨m2∨m7 成假赋值对应的极大项分别为M0,M3,M4,M5,M6,故主合取范式为A M0∧M3∧M4∧M5∧M6 注意:公式的真值表与主析取范式(主合取范式)可以相互唯一确定。
1=5...2=10..3=20..4=40..5=?