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 per mitirá 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 HTML CSV (hojas de calculo), 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.