Логические Выражения 5.0

Логические Выражения - Программа в состоянии выполнять очень сложные и трудоемкие преобразования, на которые человеку требуется несколько минут, за доли секунды.

Разработчик:   Алексей Пантелеев       другие программы → Лицензия:   Freeware Размер:   179K Язык:    ОС:   Windows 98/XP/Vista (?) Рейтинг:   0 /5 (0 голосов)

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

 Скачать Логические Выражения 5.0

Программы разработчика

Альтернативные программы

Другие программы категории

Зодиак 2.51
Максим Горбач

Зодиак - c помощью этой программы вы много нового о себе узнаете.

I2R Computer - еженедельный сетевой журнал #3
Антон Дрейзин

I2R Computer - Электронный журнал о компьютерах, программах, Интернете.

Считалка калорий 1.4.58
Olga Lebedeva

Считалка калорий - программа поможет рассчитать пищевую и энергетическую ценность (калорийность) рациона.

Socionix 1.06
Oleksandr Liutyi

Socionix - Программа для тестирования типа личности (Тест института им.

Words 3.12
Soft-One.com

Words - это обучающая программа, помогающая учить иностранные слова, не затрачивая на это много времени.