Realmente no pude entender cómo se aplican las condiciones de SDC para minimizar la siguiente Red Booleana desde Giovanni De La diapositiva de Micheli Estoy estudiando.
Dado:
$$ x = a '+ b $$ $$ y = abx + a'cx $$
Minimizar \ $ fy \ $ para obtener \ $ gy = ax + a'c \ $
$$ y = abx + a'cx $$ reemplazando \ $ x = a ′ + b \ $ & reduciendo aún más: $$ y = ab + a'c + a'cb $$ Usando la regla: \ $ A + A'B = A + B \ $ $$ y = ab + a'c $$ $$ y = aa '+ ab + a'c $$ $$ y = ax + a'c $$
También puedes obtener lo mismo con K-map.
Lea otras preguntas en las etiquetas synthesis optimization