|
Начнём пожалуй описания программы с её названия. MLITA это первые буквы предмета, на котором мы проходили построение таблиц истинности, поиск СДНФ, СКНФ и т.д. и т.п. Предмет назывался "Математическая логика и теория алгоритмов". Назначение программы:
- Построение таблиц истинности
- проверка на эквивалентность формул
- построение СДНФ и СКНФ
От вас требуется только вводить формулы. Что такое СДНФ и СКНФ, а тем более таблица истинности, я думаю объяснять не надо, раз уж вы пришли на этот сайт, то наверное знаете, что это. Но если всё-таки не знаете, поищите в Википедии.
Небольшая справка по программе:
1) Ввод формул:
Переменные обозначаются латинскими буквами. Переменная z и переменная Z идентичны.
Т.е. регистр не имеет значения.
Знаки логических операций:
& - конъюнкция
+ - дизъюнкция
! - отрицание
- - импликация
~ - эквивалентность
| - штрих Шеффера
/ - стрелка Пирса
@ - сумма по модулю два
Двойное отрицание недопустимо. Нельзя вводить !!A.
Можно использовать логические константы 1 и 0, напримеh: a+0,
ну и соответственно скобки: !((a+j)+1)-p+1.
2) Построение таблицы истинности:
Вводите формулу, нажимаете ОК, программа строит таблицу истинности.
3) Проверка эквивалентности:
Вводите две формулы и жмете "Проверить эквивалентность". Формулы должны состоять из
одинаковых наборов переменных.
Если переменные в формулах разные, например после упрощения (a+b)+i&0 получилось
(a+b), то для проверки правильности упрощения в первое поле вводите (a+b)+i&0 а во второе
(a+b). И нажимаете "Добавить переменных".
При нажатии на "Добавить переменных" программа добавляет в формулу 2 выражение типа
+0&(x1+...xn), где x1...xn переменные первой формулы.
То есть получится (a+b)+0&(a+b+i), и условие будет соблюдено.
4) Построение СДНФ и СКНФ:
Вводите формулу, выбираете форму, которую необходимо построить и жмете "ОК".
Вот собственно и всё. По-моему очень полезная штука, хотя бы для того чтобы проверять правильность построенных вручную таблиц истинности.
P.S. Ах, да... чуть не забыл ССЫЛКА ДЛЯ СКАЧИВАНИЯ |