Está bien, tenga otro en el que el manual de soluciones sea vago.
Tengo que reducir \ $ f = (x1 + x3 + x4) (x1 + x2 '+ x3) (x1 + x2' + x3 '+ x4) \ $. Sin embargo, justo en el primer paso, la solución hace algo que no entiendo.
Van a \ $ (x1 + x3 + x4) (x1 + x2 '+ x3) (x1 + x2' + x3 + x4) (x1 + x2 '+ x3' + x4) \ $. ¿De dónde vino ese cuarto término? ¿Pensé que podríamos agregar una suma si fuera igual a uno de los términos actuales? ¿Cómo se les permite cambiar el x3?