Fan-out (abanico de salida): definición, ejemplo y equivalente en inglés
El fan-out (abanico de salida) es el número de entradas de compuerta que alimenta una misma señal. En un diagrama lógico es la ramificación de un cable; en una fórmula, una variable o subexpresión que aparece más de una vez.
Cada vez que una entrada o un resultado intermedio lo usa más de una compuerta, su cable se bifurca, y el número de destinos es su fan-out. Eléctricamente el fan-out está limitado, porque cada entrada consume corriente de la salida que la alimenta, y una señal que alimenta demasiadas compuertas necesita un búfer. Lógicamente, el fan-out es lo que distingue un árbol de compuertas de una red general: en un árbol cada señal se usa una vez, y una fórmula con una variable repetida no puede dibujarse como árbol.
El artefacto de esta página es (A AND B) OR (A AND C), donde A alimenta las dos compuertas AND, así que A tiene fan-out dos y B y C, uno. La tabla es verdadera en las filas 5, 6 y 7. La comprobación de satisfacible se cumple con el testigo A = TRUE, B = FALSE, C = TRUE, y la de tautología se viola con el contraejemplo A = FALSE, B = FALSE, C = FALSE. La ley distributiva reescribiría la fórmula como A AND (B OR C), donde A se usa una vez.
El fan-out importa en hardware por la temporización y la carga, y en software siempre que una condición se repite: la misma subcomprobación escrita en dos sitios debe mantenerse sincronizada. El diagrama lógico del motor dibuja las entradas compartidas con cables ramificados, y las leyes de distribución y absorción del simplificador son a menudo las que reducen el fan-out. El término se confunde con el fan-in, el número de entradas de una sola compuerta, y con la ramificación de un árbol de decisión, que es otra estructura.
Ejemplo
f := (A AND B) OR (A AND C) · salida
Comprobaciones exactas
Tabla de verdad (8 filas)
| # | A | B | C | f |
|---|---|---|---|---|
| 0 | FALSO | FALSO | FALSO | FALSO |
| 1 | FALSO | FALSO | VERDADERO | FALSO |
| 2 | FALSO | VERDADERO | FALSO | FALSO |
| 3 | FALSO | VERDADERO | VERDADERO | FALSO |
| 4 | VERDADERO | FALSO | FALSO | FALSO |
| 5 | VERDADERO | FALSO | VERDADERO | VERDADERO |
| 6 | VERDADERO | VERDADERO | FALSO | VERDADERO |
| 7 | VERDADERO | VERDADERO | VERDADERO | VERDADERO |
Lectura en lenguaje claro
Principiantef es verdadero exactamente cuando se cumple al menos una de las condiciones siguientes (pueden cumplirse ambas):
1. A y B son ambos verdaderos
2. A y C son ambos verdaderos
En todos los demás casos, f es falso.
Sobre los operadores:
- OR (O) es inclusivo: es verdadero en cuanto al menos una parte es verdadera, también cuando lo son varias.
- AND (Y) solo es verdadero cuando todas sus partes son verdaderas.
Intermediof es verdadero exactamente cuando se cumple al menos una de las condiciones siguientes (pueden cumplirse ambas):
1. A y B son ambos verdaderos
2. A y C son ambos verdaderos
En todos los demás casos, f es falso.
Avanzadof es verdadero exactamente cuando se cumple al menos una de las condiciones siguientes (pueden cumplirse ambas) [disyunción inclusiva ∨]:
1. A y B son ambos verdaderos [conjunción ∧]
2. A y C son ambos verdaderos [conjunción ∧]
En todos los demás casos, f es falso.
Notación formal: (A ∧ B) ∨ (A ∧ C)
Diagrama lógico
El error habitual
Tratar el fan-out como propiedad de la función. El diagrama sigue la fórmula tal como está escrita: (A AND B) OR (A AND C) muestra A ramificada hacia dos compuertas, y la equivalente A AND (B OR C) la muestra alimentando una. Misma tabla, distinto fan-out; el número pertenece al dibujo.
Preguntas
¿El fan-out cambia la tabla de verdad?
No. (A AND B) OR (A AND C) y A AND (B OR C) tienen la misma tabla, que la ley distributiva demuestra en todas las filas. El fan-out cambia la forma y la carga eléctrica del circuito, no la función que calcula.
Relacionado
Véase también
- Compuerta lógica (puerta lógica): definición, ejemplo y equivalente en inglés
- Lógica combinacional: definición, ejemplo y equivalente en inglés
- Ley distributiva: A·(B+C) = A·B + A·C, ambas formas
- Generador de circuitos lógicos: de expresión booleana a diagrama de compuertas (SVG)
- De expresiones a circuitos
- La distributividad en la práctica: A AND (B OR C) desarrollado
Glosario
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.