Логические схемы, достойные способы написания Опции

[konigsokol]

Столкнулся с прекрасными контролерами фирмы Siemens - LOGO! всё здорово и великолепно, но после написания несложных программок, встали задачи написания более серьёзных алгоритмов работы систем! По науке как учили (таблицы истинности, передаточные функции, карты Карно, минимизация) делать несказанно долго, да и не реально. ВОПРОС существует ли программное обеспечение подобного рода, что то типа забил таблицу истинности и хлоп тебе логическая схема!

[konigsokol]

Столкнулся с прекрасными контролерами фирмы Siemens - LOGO! всё здорово и великолепно, но после написания несложных программок, встали задачи написания более серьёзных алгоритмов работы систем! По науке как учили (таблицы истинности, передаточные функции, карты Карно, минимизация) делать несказанно долго, да и не реально. ВОПРОС существует ли программное обеспечение подобного рода, что то типа забил таблицу истинности и хлоп тебе логическая схема!

[Vasiliy]

Есть такое в Multisim.
Цитата: "Логический конвертор предназначен для проектирования логических схем. Прибор позволяет по
заданной таблице истинности получить выражение булевой логики, минимизировать его и по его
виду синтезировать требуемую логическую схему. Можно решить обратную задачу: подключив циф-
ровую схему к логическому конвертору получить таблицу истинности. В данном случае исключается
трудоемкий этап минимизации булева выражения с помощью карт Карно и ускоряется проектирова-
ние схем."

[Михайло]

Таблица истинности - это неудобный вариант представления комбинационных схем... А есть еще последовательностные схемы, которые на таблицах не собрать.