Anallogica

El siguiente software, tras ingresarle una expresión lógica, devuelve la correspondiente tabla de verdad.
Este les servirá para facilitar la verificación de la equivalencia de dos expresiones, entre otras cosas.

http://anallogica.sourceforge.net