先看第一个例题， ∑d 就是一个约束条件。

对应输出函数值没有确定值的最小项称为无关项、任意项或约束项，记为 d 或×。

根据 ∑m 和 ∑d 的数据，画出卡诺图，其中 ∑d 的数据应当画 x ，表示这个空可以为0，也可以为1。

画出卡诺图后，对待框内的 x 要遵循：“需要时才用，不需要时不用” 的原则。

并且要遵循如下的画圈原则：

①尽量画大圈，但每个圈内只能含有2n（n=0,1,2,3……）个相邻项。要特别注意对边相邻性和四角相邻性。 ②圈的个数尽量少。 ③卡诺图中所有取值为“1”的方格均要被圈过，即不能漏下取值为“1”的最小项。 ④保证每个圈中至少有一个“1”只被圈过一次，否则该圈是多余的。

于是我们就画出了上图中的三个圈并且可以直接得出最终结果。

下面来看看第二个例题吧！