logic - 最小化逻辑设计

Question

我正在为逻辑设计工作，此时我需要最小化语句而不是设计表达式。

我有一个需要最小化的声明： (x'+y+z+t)(x'+y'+z'+t)

我必须减少它，但我认为我不能最小化它，但是我知道如果它只是像这样的 1 个参数差异：(x'+y'+z+t)(x'+y'+z' +t)

它将等于 x'+y'+t 与布尔代数、共识和 exc。但我不知道是否可以最小化？

希望你能帮忙谢谢

Answer 1

A=(x'+t)
B=y+z
C=y'+z'
(x'+y+z+t)(x'+y'+z'+t) = (A+B)(A+C) == AA+AC+AB+BC = A+BC ==
(x'+t)+(y+z)(y'+z') = (x'+t)+(yz'+y'z) == (x'+t) + (y xor z)