勾选变元赋值,看这组赋值唯一确定哪个极小项为真、哪个极大项为假。

当前赋值:1 0 0,十进制角标 4

极小项 m₄

在这组赋值下取值 1

极大项 M₄

在这组赋值下取值 0