Это простое приложение JavaScript генерирует таблицы истинности для произвольных логических выражений. Анализатор поддерживает приоритет операторов.
Он полностью работает в браузере и не требует поддержки на стороне сервера.
Попробуйте здесь: http://mustpax.github.com/Truth-Table-Generator/
Лицензировано по лицензии MIT. Подробности см. в License.txt.