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