AnalLogica

Analogica es una herramienta de logica proposicional diseñada para generar tablas logicas y tablas de la verdad.

El programa admite un máximo de quince variables para un total de treinta y dos mil posibilidades distintas. Nos permitirá probar equivalentes y negaciones, así como modificar la simbología a nuestro antojo.

Una vez terminemos de trabajar con Analogica, podremos guardar nuestros resultado en formato TXT o XMS, e incluso en el propio de la aplicación, de manera que podamos seguir editándolo más adelante.

Analogica ofrece una interfaz sencilla y consume muy pocos recursos, por lo que cualquier estudiante podrá utilizarlo sin problemas independientemente de que ordenador tenga.