Функционал:
1. Удобный ввод формулы (от 2 до не менее 5 уникальных переменных).
2. Выполнение логических операций: инверсия (отрицание, логическое не), конъюнкция (логическое и), дизъюнкция (логическое или), импликация (следование), эквивалентность (тождество).
3. Выполнение логических операций с учётом скобок для указания порядка выполнения действий.
4. Вывод таблицы истиности.
5. Проверка формулы на тождественность.
Дата публикации: 2018-03-24 21:23:38