你能用布尔代数定律最小化一个不关心条件的布尔表达式吗？

Question

我必须最小化具有无关条件的 SOP 形式的布尔表达式。我可以通过 k-map 做到这一点，但我只能使用布尔代数定律来做到这一点。

问。西格玛(0,2,3,5,6,7,8,9) + d(10,11,12,13,14,15)

Answer 1

可以使用布尔定律将给定的最小项和无关项列表转换为一个较短的蕴涵项列表。

Karnaugh-Veitch 地图：

从地图或通过检查给定的 16 个可能术语中的 14 个，很明显只有两个术语的表达式为假：1 和 2。

因此，表达式可以写成

!(X0 & !X1 & !X2 & !X3) & !(!X0 & X1 & ! X2 & !X3)

申请De Morgan's theorem:

(!X0 + X1 + X2 + X3) & (X0 + !X1 + X2 + X3)

这两个因素共享(X2 + X3)，因此可以排除：

(!X0 + X1) & (X0 + X1) + X2 + X3

这导致结果：

!X0 & !X1 + X0 & X1 + X2 + X3

我们在开头隐含地将所有无关术语设置为true。这是一个很好的猜测，但如果不试错就无法通过分析推导出来。