Программа для решения логических функций любой сложности, также позволяющая создавать для них таблицы истинности (и сохранять их в файл, при желании). В программе есть возможность сохранять / загружать функции, автоматически извлекать используемые в функции переменные... В функциях можно использовать следующие логические операции: конъюнкция, дизъюнкция, отрицание, штрих Шеффера, случайное бинарное значение. (F1 помощь)