如何确定表达式是“最小” SOP

Question

将表达式(w+x’+z)(w’+y+z’)(x+y+z)减少到最小SOP

我尝试过 （原始表达）

 = (z+wx+wy+x’y)(w’+y+z’)
 =w’z+yz+wxy+wxz’+wy+wyz’+w’x’y+x’y+x’yz’
 =w’z+yz+wxy+wxz’+wy+x’y+x’yz’
 =w’z+yz+wxy+wxz’+wy+x’z
 =w’z+yz+wy+wxz’+x’y

我不确定我找到的结果是“最低” SOP。是否有任何通用的方式来获取“来自POS的最低SOP”或“来自SOP的最低POS”？

Answer 1

您现在面临的问题称为共识定理。布尔代数并不真正支持它，因为这是一个罕见的3项规则。通常，您可以使用K-Map解决它们。可以使用共识定理将其简化为下一步。

w'z+wy+wxz'+x'y

我不确定是否还有其他步骤，因为这并不容易。