Programas para solución de problemas de tablas de verdad

Anallogica: 

Herramienta bastante eficaz a la hora de crear tablas de verdad,  la cual nos dejara usar hasta 15 variables, y esta nos dejará hacer  equivalencias y negaciones, perfecta para guardar nuestros trabajos en formato HTML y podemos guardar nuestro archivo y seguir trabajando despues.

GKmap 0.2 :
Es un programa para solucionar problemas del diseño y analisis de flujo de circuitos digitales.



Multisim:

Esta herramienta en su apartado convertidor logico, puede crear tablas de verdad desde un circuito digital




Logical Formula Evaluator:
Edito de sentencias logicas proposicionales