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

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

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

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

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

Логические Выражения 5.0 screenshot
Программы разработчика
Альтернативные программы

Логические Выражения 5.0 Логические Выражения 5.0 
Алексей Пантелеев

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

Logical Calculator v2.0 Logical Calculator v2.0
PiddleSoft Software Group

Калькулятор сложных логических выражений.

Поиск в текстовом файле по шаблону Поиск в текстовом файле по шаблону
sergf@service.volvo.ru

Принцип &quotкто последний - тот и папа&quot, примененный на практике.

JUL 3.1 JUL 3.1
mic

Система JUL распространяется в рамках проекта "Интернет-школа при ФТЛ №1".

Административная обработка Административная обработка
Vladimir Kozlov

Административная обработка, производящая чистку &quot.

LogiTable 1.1 LogiTable 1.1
Ларин Сергей Владимирович

Программа LogiTable предназначена для обработки логических функций, а именной для расчета "таблиц истинности" для них.

Программа для выполнения расчетов симплексным методом 1.0 Программа для выполнения расчетов симплексным методом 1.0
Жердин Дмитрий

Программа для выполнения расчетов симплексным методом - Как известно решение задач симплексным методом применяется очень часто.

Учет оплаты договоров Учет оплаты договоров
plr@halyava.ru

Ведение справочника подразделений, учет договоров в разрезе подразделений.

HiMath Computing Package 1.0 HiMath Computing Package 1.0
Кунин А. Я.

HiMath Computing Package - Пакет программ для выполнения расчетов по высшей и дискретной математике.

Logic 1.0 Logic 1.0
Komaroff Alexey aka Cheshire Cat

Программа для минимизации логических функций методом карты Карно.

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

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

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

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

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

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

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

Socionix 1.06 Socionix 1.06
Oleksandr Liutyi

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

Words 3.12 Words 3.12
Soft-One.com

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