Álgebra booleana - Minimización

Vea si esto tiene sentido ... z+y desaparece porque la función OR es manejada por los otros dos que tienen esas entradas. La mejor manera de hacer esto es dibujar un K-map. Usé xy en el eje vertical, y z en la horizontal y la ecuación (x+z)(!x+y) fue obvia.

Luego, debido a que expandes esa ecuación a (!xx) + (!xz) + (zy) + (xy) y te das cuenta de que (!xx) no tiene contribución, y creas otro K-map para los términos restantes (excluyendo (!xx) ), la ecuación (xy) + (!xz) se vuelve obvia.

Dado que (x + z) (/ x + y), hay cuatro condiciones en las que puede ser cierto. Podemos eliminar uno de ellos, x / x, ya que siempre es falso. Eso deja xy + / xz + yz. El tercer término es redundante, ya que si yz es verdadero, uno de los términos anteriores será verdadero dependiendo del valor de x.