Estoy tratando de entender mejor la minimización del circuito lógico. Digamos que intenta minimizar el número de puertas en algún circuito lógico simple. Una vez que se completa la minimización, elijo un subcircuito arbitrario (algún grupo de puertas conectadas). ¿Se garantiza que ese subcircuito sea lo más pequeño posible, o al menos lo más pequeño posible dado el algoritmo particular que se está utilizando?