勾选变元赋值,看这组赋值唯一确定哪个极小项为真、哪个极大项为假。
p
q
r
当前赋值:
1 0 0
,十进制角标
4
极小项 m₄
在这组赋值下取值
1
极大项 M₄
在这组赋值下取值
0