Estoy tratando de entender el proceso de creación de circuitos combinatorios. Entiendo que primero documentamos las entradas y salidas, luego creamos términos mínimos y máximos, luego los insertamos en un mapa k y obtenemos una función como salida. Esta función se puede implementar utilizando puertas lógicas.
El problema que tengo es que no entiendo la lógica de la conversión de la ecuación que obtuvimos, por lo que puedo implementar el mismo circuito usando solo NAND o ni puertas lógicas.
La imagen es de mi libro para convertir un circuito de media sumadora. Entiendo los pasos tomados pero no entiendo la razón por la que los tomaron. Gracias por la ayuda.