如何才能确保表达式是“最小”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

你现在面临的问题叫做共识定理。它在布尔代数中并不真正受支持，因为它是一个罕见的三项规则。通常你会用K-Map来解决它们。这可以使用共识定理进一步简化。

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

我不能完全确定是否还有另一个步骤，因为它不容易找到。