5.2: Modelado de Operaciones Asociativas en Logisim
- Page ID
- 82930
Para demostrar qué operadores booleanos son asociativos, el primer paso es escribir ecuaciones para cada operador que implementen dos formas asociativas para implementar una expresión, y ver si los resultados son equivalentes o no. Una primera ecuación para la operación AND podría ser la siguiente: ((A * B) * C) *D). En esta ecuación, los resultados de la salida de cada puerta AND alimentan en serie las entradas a la puerta AND siguiente, donde se corresponde con la siguiente entrada. Esto se muestra en la figura\(\PageIndex{1}\) a continuación:
Una segunda ecuación, (A * B) * (C * D), realiza las dos primeras operaciones AND en paralelo, y luego combina los resultados, como se muestra en la Figura\(\PageIndex{2}\) siguiente:
Estos dos circuitos se pueden implementar en Logisim, y los resultados se utilizan para rellenar la tabla para el Ejercicio 2 en la Sección 5.5. Esto demostrará que para estas dos ecuaciones, el operador AND es asociativo. Cambiar el operador booleano insertando una puerta diferente dará resultados para el resto de la tabla.