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

На данный момент логический калькулятор умеет выполнять следующее:

• Ввод и проверка переменных на корректность. Под корректностью подразумевается правильное написание букв и операций над ними
• Вывод таблицы истинности для выражения
• СКНФ и СДНФ

Примеры выражений

A * B + C -> A
A * ( B + ( C -> ! A ) + B * C )
A * B + C -> ( D | A # B <- C ) ^ ! D ~ A

Скачивание

Вы можете скачать бинарные файлы для Windows 7-10 x64

Описание классов

Полное описание методов и классов вы можете найти в документации к проекту - https://mvngr.github.io/logic_calculator_doc/html/index.html

Условные обозначения

Для корректной работы программы после каждого значащего значения нужно ставить пробел. Возможно, это будет поправлено в будущих версиях программы

Так же вы можете пользоваться скобками в своих задачах ( )

Операции

Условное обозначение	Название операции
*	Конъюнкция
+	Дизъюнкция
->	Импликация
<-	Обратная импликация
&#448;	Штрих Шеффера
&#35;	Стрелка Пирса
	Исключающее ИЛИ
~	Эквиваленция
!	Отрицание самой переменной

Переменные

Для логических переменных была выделена только часть алфавита. Все возможные переменные:

A B C D E F G X Y Z

a b c d e f g x y z

Стоит помнить, что регистр учитывается

Скриншоты