Expansión de un subcircuito (paso de reescritura de Tangibool)
La expansión de un subcircuito sustituye una instancia de un subcircuito reutilizable por el cuerpo de su definición, con los argumentos de la instancia conectados a las entradas de la definición.
Una instancia de subcircuito se sustituye por el cuerpo de su definición, con sus entradas conectadas a los argumentos de la instancia.
En Tangibool un subcircuito es un bloque con nombre y versión, como maj(A, B, C) para la función de mayoría. Cuando el motor necesita comprobar, simplificar o exportar una fórmula que usa una instancia, expande la instancia en su lugar: el cuerpo (A AND B) OR (A AND C) OR (B AND C) ocupa el sitio de la llamada, y la expansión se registra como paso con el nombre de esta ley para que la traza sea honesta sobre lo que se reescribió.
Esta página existe para que cada nombre de paso que el motor puede imprimir tenga una referencia; la expansión no es una identidad entre dos fórmulas cerradas y no se indexa como tal. La biblioteca de subcircuitos de la app y la especificación de la semántica describen el anclaje, las versiones y la notación Nombre@N.
Enunciado
Este paso de reescritura usa subcircuitos y no se enuncia como identidad entre dos expresiones cerradas; la lección y la app muestran la expansión.
Preguntas
¿La expansión cambia la función?
No. Por construcción, la fórmula expandida tiene exactamente el comportamiento de la instancia; el límite de tamaño del motor se aplica a la forma expandida, y por eso una biblioteca muy anidada puede alcanzar el límite de nodos.
Relacionado
Herramientas
- Calculadora y simplificador de álgebra de Boole paso a paso (cada ley nombrada y verificada)
- Comprobador de equivalencia lógica: dos expresiones, veredicto exacto, contraejemplo
Véase también
- Expansión de una referencia a una salida con nombre (Tangibool)
- Mayoría de tres (votación 2 de 3): tabla de verdad, mapa de Karnaugh y forma NAND
Leyes
Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.