Para cada variable de salida, la ventana de Análisis Combinacional mantiene dos estructuras - la columna relevante de la tabla de verdad y una expresión booleana - especificando la relación de cada salida con su entrada. Puedes editar tanto la tabla de verdad como la expresión; la que no hayas tocado será modificada automáticamente de forma que no se pierda la consistencia entre ambas.
Como se verá en el siguiente apartado, las expresiones booleanas son especialmente útiles porque la ventana de Análisis Combinacional las utilizará cuando se le demande la construción de un circuito correspondiente con el estado actual.
Puedes ver y editar las expresiones utilizando las dos últimas pestañas de la ventana, la pestaña de Expresión y la pestaña de Minimizado.
La pestaña de Expresión te permite ver y editar la expresión actualizada que esté asociada con cada variable de salida. Puedes seleccionar la expresión de la salida que quieres ver y editar usando el selector "Salida".
Justo debajo el selector aparecerá la expresión definida en una particular notación, donde un OR está representado como una suma, un AND está representado por un producto, y un NOT está representado por una barra horizontal encima de la parte a la que afecta.
Debajo estará la misma expresión pero definida con caracteres ASCII. Aquí, un NOT está representado con el gurruñito ('~').
Puedes editar la expresión en el panel de texto y hacer click en el botón de Intro para que el cambio tenga efecto; haciendo esto también actualizarás la tabla de verdad en función de la nueva expresión. El botón de Limpiar vacía el panel de texto, y el botón de Recargar restaura en el panel la expresión acutual.
Hay que fijarse en que la expresión que hayas editado se perderá si más tarde modificas la tabla de verdad.
Además de la multiplicación y la suma que representan al AND y al OR, una expresión puede contener cualquiera de los operadores lógicos de Java, así como las palabras que las representan.
| highest precedence | ~ ! | NOT |
|---|---|---|
| (none) & && | AND | |
| ^ | XOR | |
| lowest precedence | + | || | OR |
| ~a (b + c) |
| !a && (b || c) |
| NOT a AND (b OR c) |
La última pestaña muestra una expresión de suma de productos que se corresponde con una columna de la tabla de verdad. Se puede seleccionar cual es la expresión minimizada de salida que se quiere consultar con el selector de arriba ("Salida").
Si hay cuatro entradas o menos, se mostrará debajo del selector la tabla de Karnaugh correspondiente a la variable seleccionada. Puedes hacer clic en la tabla de karnaugh para cambiar los valores correspondientes de la tabla de verdad. La tabla de Karnaugh también mostrará los términos seleccionados para la expresión minimizada con unos rectángulos redondeados de colores.
Debajo estará la expresión minimizada que se corresponda con la tabla, con el mismo formato que en la pestaña de expresiones. Si hay más de cuatro entradas, la tabla de Karnaugh no aparecerá, pero aún así se calculará la expresión minimizada. (Logisim utiliza el algorimo de Quine-McCluskey para calcular la expresión minimizada. Esto es equivalente a la tabla de Karnaugh, pero se puede aplicar independientemente de número de variables de entrada.)
El botón de Fijar Como Expresión te permite seleccionar la expresión minimizada como la expresión que le corresponde a la variable. Esto generalmente no será necesario, ya que editar la tabla de verdad lleva consigo utilizar la expresión para la columna modificada; pero si lo que has introducido una expresión a través de la pestaña de Expresión, esta puede ser una buena opción para encontrar y cambiarse a la expresión minimizada.
Siguiente: Generando un circuito.