На данный момент логический калькулятор умеет выполнять следующее:
- Ввод и проверка переменных на корректность. Под корректностью подразумевается правильное написание букв и операций над ними
- Вывод таблицы истинности для выражения
- СКНФ и СДНФ
a*b+(C^a->b)^C
A * B + C -> A
A * ( B + ( C -> ! A ) + B * C )
A * B + C -> ( D | A # B <- C ) ^ ! D ~ A
Вы можете использовать web версию логического калькулятора. Для этого достаточно перейти по ссылке: https://mvngr.github.io/logic_calculator/
Вы можете скачать бинарные файлы для Windows 7-10 x64
Полное описание методов и классов вы можете найти в документации к проекту - https://mvngr.github.io/logic_calculator_doc/html/index.html
| Условное обозначение | Название операции |
|---|---|
| * | Конъюнкция |
| + | Дизъюнкция |
| -> | Импликация |
| <- | Обратная импликация |
| ǀ | Штрих Шеффера |
| # | Стрелка Пирса |
| ^ | Исключающее ИЛИ |
| ~ | Эквиваленция |
| ! | Отрицание самой переменной |
Для логических переменных была выделена только часть алфавита. Все возможные переменные:
A B C D E F G X Y Z
a b c d e f g x y z
Стоит помнить, что регистр учитывается
