Калькулятор сложных логических выражений. Поддерживает все логические операции. Строит таблицы истинности для логических выражений. Поддерживает до 32 уникальных логических переменных! Незаменимая программа для студентов (школьников) изучающих алгебру высказываний (логику в информатике).