[impersonalis]

Версия 2.0.1 одним архивом для удобства

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

+определение носителя (для функции, заданной формулой)
+определение антиносителя (для функции, заданной формулой)
+составление вектора функции (для функции, заданной формулой)
+составление СКНФ (для функции, заданной вектором)
+составление СДНФ (для функции, заданной вектором)
+поиск фиктивных переменных (для функции, заданной вектором)

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

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

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

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