Здравствуйте, столкнулся с очень большой таблицей истинности (при синтезе декодера для матрицы)
вручную минимизировать и выписывать карты очень долго.
Подскажите каким софтом для таких целей пользуетесь вы?)
там же вроде, нужно вводить лог. функцию, и этот сервис уже по ней будет строить табл. карны карно и тд. да и к тому же там максимум 6 переменных (нужно 7)