Para cargar una tabla de verdad hay que activar la opción Tabla de Verdad Manual en la pantalla principal. Al hacerlo en ella iremos cargando los valores de cada fila de la tabla. Por ejemplo, podemos escribir sólo los 1 de la tabla y activar la opción de rellenar, con 0 ó X,  para completar el resto de la tabla. Lo que no se puede es dejar filas sin completar.

Carga de una tabla de verdad	Forma normal disyuntiva (suma de minitérminos)

Pulsamos Evaluar y luego Salir y la tabla queda cargada. A partir de ahora podemos usarla. Por ejemplo, para ver sus expresiones canónicas o formas normales basta con activar la correspondiente opción.