Как получить логические уравнения?

[perasperaadastra]

Есть ящик: на входе 8 бит, на выходе 8 бит. Известна зависимость выхода от входа. Нужно подобрать логические уравнения. Понятно, что это можно сделать вручную, но работа муторная. А есть ли простой способ сделать это автоматически? Я думаю какой-нибудь verilog или vhdl это умеет, но без знания языка/среды непонятно, как такие вещи делать. Может быть есть какие-нибудь более простые средства, чтобы ввести таблицу соответствий и набор допустимых операций, и оно само сгенерирует уравнения?

[thinker]

https://www.extendoffice.com/documents/ ... ction.html

[Palych]

А зачем уравнения для 256 комбинаций? Проще таблицу использовать...

[OtherSide]

Есть ящик: на входе 8 бит, на выходе 8 бит. Известна зависимость выхода от входа. Нужно подобрать логические уравнения. Понятно, что это можно сделать вручную, но работа муторная. А есть ли простой способ сделать это автоматически? Я думаю какой-нибудь verilog или vhdl это умеет, но без знания языка/среды непонятно, как такие вещи делать. Может быть есть какие-нибудь более простые средства, чтобы ввести таблицу соответствий и набор допустимых операций, и оно само сгенерирует уравнения?

теоретически это несложно, помню у нас лабораторки даже были для этой задачи, но технически правильно написали - надо делать через таблицу

[perasperaadastra]

А зачем уравнения для 256 комбинаций? Проще таблицу использовать...

Таблицу проще, когда есть возможность поставить EEPROM или вообще делать всё в микроконтроллере. А если хочется использовать теплые ламповые логические ворота 7400 серии?

[perasperaadastra]

теоретически это несложно, помню у нас лабораторки даже были для этой задачи

Для четырех бит — несложно, хоть и нудная работа. Всего лишь 16 клеток в карте Карно. Помножить на число бит на выходе. А вот для задачи с 8 битами, каждая карта Карно имеет 256 клеток. А если помножить на 8 бит на выходе, то решение точно займет многие часы. Так что без компьютера никак.

[perasperaadastra]

https://www.extendoffice.com/documents/ ... ction.html

Это же только для XY построений. С логикой оно не работает.

[Alexandr]

Есть ящик: на входе 8 бит, на выходе 8 бит. Известна зависимость выхода от входа. Нужно подобрать логические уравнения. Понятно, что это можно сделать вручную, но работа муторная. А есть ли простой способ сделать это автоматически? Я думаю какой-нибудь verilog или vhdl это умеет, но без знания языка/среды непонятно, как такие вещи делать. Может быть есть какие-нибудь более простые средства, чтобы ввести таблицу соответствий и набор допустимых операций, и оно само сгенерирует уравнения?

строите таблицу истинности, а потом тупо через sum of products или product of sums
как оптимизировать - это уже другой вопрос, но на него тоже есть алгоритмический ответ

https://www.allaboutcircuits.com/textbo ... pressions/

по поводу оптимизации смотрите Karnaugh Maps

[Alexandr]

по поводу оптимизации по Karnaugh Maps online нашел вот http://www.32x8.com/
думаю вам хватит

[perasperaadastra]

Карты Карно удобны для небольшого числа бит. А с 8 битами получается 256 клеток в карте. Если на выходе 7 бит (например, для сегментного дисплея), получается 7 таких таблиц. Вручную такое не сделать.

[thinker]

Карты Карно удобны для небольшого числа бит. А с 8 битами получается 256 клеток в карте. Если на выходе 7 бит (например, для сегментного дисплея), получается 7 таких таблиц. Вручную такое не сделать.

ну так для 7-сегментного дисплея сегодня вручную никто и не делает. Ставят микропроцессор с EEPROM и загоняют в него таблицу, а не используют "логические ворота 7400 серии". You can't make a chicken out of shit.

[Alexandr]

Карты Карно удобны для небольшого числа бит. А с 8 битами получается 256 клеток в карте. Если на выходе 7 бит (например, для сегментного дисплея), получается 7 таких таблиц. Вручную такое не сделать.

Карты Карно (либо аналог) использует любой софт, который оптимизит булевы выражения
руками не надо: можно например вот взять прогу http://k-map.sourceforge.net/