Логические Выражения 5.2
| |
| От автора: "Изначально эту программу я написал, когда в 11-м классе по информатике мы проходили алгебру логики. Сначала она представляля собой простой компилятор логических выражений и вычислитель таблицы истинности. Работала из командной строки в текстовом режиме. Затем появилась возможность автоматически производить простейшие эквивалентные преобразования, и так далее. В институте еще раз проходили алгебру логики, программа была модифицирована для выполнения алгоритма Квайна-(Кого-то ещё) минимизации функций. Точнее, для выполнения БДЗ по дискретной математике, т.к. программа выводит такое решение, которое можно переписать и сдать, с небольшими ручными дополнениями." | |
| Категория: Математика | | |
| Просмотров: 889 | Загрузок: 135 | |
| Скачать файл: #Скачать с сервера | |