[impersonalis]

:'((
BOOLka v1.8.0 релиз

BOOLka v1.8.0

Основные возможности:

+построение таблицы значений (для функции, заданной формулой)
с возможностью сохранения её в файл
или вывода её на экран (для коротких таблиц)
+определение носителя (для функции, заданной формулой)
+определение антиносителя (для функции, заданной формулой)
+составление вектора функции (для функции, заданной формулой)
+составление СКНФ (для функции, заданной вектором)
+составление СДНФ (для функции, заданной вектором)
+поиск фиктивных переменных (для функции, заданной вектором)
+очистка кратчайшей СНФ-формы от фиктивных переменных

Поддерживаемые операторы:

отрицание
конъюнкция
дизъюнкция
импликация
эквиваленция
стрелка Пирса
штрих Шеффера
сложение по модулю 2

Поддерживаемы переменные:
буквы латинского алфавита от a до z

Константы:
1 - истина (true)
0 - ложь (false)

ВНИМАНИЕ: если вы решили "поиграться" и забабахали 20 и более переменных, то
за стабильность ОС в ближайшей время я не ручаюсь (особенно если ОЗУ у вас 256 мб).
Простой ребут вернёт всё на свои места, благо в проге реализовано сохранение формулы.