Логические Выражения для Windows

Оценка: 4.49/5 голосов - 27
Лицензия: Бесплатная
Версия:5.2 | Сообщить о новой версии
Обновлено:
ОС:Windows XP, 98, ME, 2000
Интерфейс: Русский
Разработчик:
Категории:Математика - Программирование
Загрузок (сегодня/всего):0 / 14 392 | Статистика
Размер:185 Кб
СКАЧАТЬ
Логические Выражения скриншот № 1
Логические Выражения - Программа в состоянии выполнять очень сложные и трудоемкие преобразования, на которые человеку требуется несколько минут, за доли секунды. Обычно полученный результат вручную упрощению не поддается, хотя бывают и редкие исключения.

От автора:
"Изначально эту программу я написал, когда в 11-м классе по информатике мы проходили алгебру логики. Сначала она представляля собой простой компилятор логических выражений и вычислитель таблицы истинности. Работала из командной строки в текстовом режиме. Затем появилась возможность автоматически производить простейшие эквивалентные преобразования, и так далее.

В институте еще раз проходили алгебру логики, программа была модифицирована для выполнения алгоритма Квайна-(Кого-то ещё) минимизации функций. Точнее, для выполнения БДЗ по дискретной математике, т.к. программа выводит такое решение, которое можно переписать и сдать, с небольшими ручными дополнениями."

ТОП-сегодня раздела "Математика"
 

скачать MathTypeMathType 7.4.8.0

MathType - отличное приложение для работы с формулами, математическими выражениями и...

скачать Advanced GrapherAdvanced Grapher 2.2

Advanced Grapher - Мощная и простая в использовании программа для построения графиков и их анализа...

скачать Microsoft MathematicsMicrosoft Mathematics 4.0

Microsoft Mathematics - полезная программа для школьников и студентов, которая представляет собой...

скачать SMath StudioSMath Studio 0.99 build 6671

SMath Studio - бесплатная программа для вычисления математических выражений и построения...

скачать Калькулятор ЛовиОтветКалькулятор ЛовиОтвет 6.1.85.21

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

скачать MaximaMaxima 5.46.0

Maxima — система компьютерной алгебры для работы с символьными и численными выражениями,...

Отзывы о программе Логические Выражения

Коля про Логические Выражения 5.2 [20-03-2016]

А не подскажите .. вот есть что нибудь подобное в маткад или мапл ?
2 | 3 | Ответить

Бывалый про Логические Выражения 5.2 [18-11-2013]

обьясните как обозначается
коньюнкция
дизьюнкция
импликация
эквиваленция
4 | 8 | Ответить

Дастан про Логические Выражения 5.2 [04-12-2012]

надо упростить выражение помогите,,,
x
2 | 7 | Ответить

Роман про Логические Выражения 5.2 [16-04-2012]

Спасибо, человечищще! Думал самому писать придется по Сошникову...
2 | 2 | Ответить

sansan про Логические Выражения 5.2 [01-02-2012]

Большое спасибо)
3 | 2 | Ответить