Разумеется, правда я их не разу не использовал. Как мне известно, они разработаны для ручного восстановления и плохо справляются с большим числом параметров(а как они разбираются с лишними параметрами?). Чтобы внести ясность, я всё затеял лишь ради аналогии и первоначально никакого эксперимента не предполагалось.
Метод карно, на сколько я помню, для минимизации логической функции. А для восстановления есть спосчобы попроще. Аравда потом придется все же минимизировать, но это уже мелочи.
Один из самых популярных программируемых методов для решения такой задачи — метод Квайна-МакКласки, насколько я помню. Есть кроме него и карт Карно еще один метод, но его к сожалению уже забыл…
А карты Карно легко обобщить, достаточно взять любой метод закраски из Компьютерной графики, тот же линейный, например.
Восстановление логической функции