Esta aplicación permite realizar las operaciones más comunes con expresiones booleanas. La aplicación contiene un editor donde se pueden ingresar expresiones booleanas en forma natural donde se verifica su validez y en su caso, se indican los errores observados. Una vez que la expresión es ingresada en el editor, esta se mantiene en una lista y es desde aquí, estando seleccionada, donde se pueden obtener el resultado y el desarrollo de las siguientes operaciones:
- T abla de verdad y suma de mintérminos
- T abla de verdad y producto de maxitérminos
- Suma de productos y su desarrollo algebraico
- Suma de mintérminos (y maxtérminos) algebraicamente
- Reducción de la expresión mediante el método de Quine - McCluskey
además
- El editor permite ingresar expresiones usando las funciones min y max en la forma f(w,x,y,z) = min(3,4,5,9,15)
- Todas las operaciones pueden generar copia de los resultados en forma de texto para ser enviada por correo o vista en otra aplicación