La imagen más pequeña en la parte inferior muestra el modelo superior del biestable tal como aparece en la vista de diagrama en Wolfram System Modeler. Como se puede observar, el biestable tiene tres entradas diferentes: dos tablas j y k que contienen valores, y una fuente de reloj CLK que proporciona los pulsos. Al ir un nivel hacia abajo en el componente llamado JK (la imagen ampliada en la parte superior), podemos ver algunas de las compuertas básicas denominadas And1, And2, And3, And4 y Not1. La salida de estas compuertas se calcula utilizando la tabla de verdad correspondiente.

Estos son los resultados simulados del componente And2 en el modelo del biestable. Esta compuerta en particular tiene tres entradas diferentes (mostradas en las tres subrepresentaciones superiores). La salida, calculada a partir de la tabla de verdad correspondiente para una compuerta lógica básica And, puede verse en la subrepresentación inferior. En la biblioteca Digital, los códigos enteros corresponden a diferentes valores lógicos: 1 = no inicializado, 3 = valor binario 0, 4 = valor binario 1.