Логический калькулятор

[Sinoid]

Здравствуйте! Подскажите, пожалуйста, калькулятор по логике, может, кто знает. Желательно, portable, а то у меня на компе чего только не установлено. Пробовал создать новые инструменты в Геогебре, но там синтаксис команд не совсем подходит, он похож, если я не ошибаюсь, на Польскую запись, или что-то в этом духе, короче, при составлении таблиц истинности для сложных формул легко ошибиться. В Himath есть нечто похожее: для логических связок можно подобрать функции над $\mathbb{Z}(2)$, принимающие нужные значения при нужных значениях аргументов, да вот беда: пользовательские функции там можно создавать лишь от одного переменного. Короче, заморочка... Думал, обойдусь так, да вот дошел до равносильных преобразований формул и такого калькулятора стало сильно не хватать.