SaiborEye, расскажи, что за оптимизацию такую тебе надо проделать, да ещё программно ? Заинтриговал
Ну если в общих чертах, пытаюсь реализовать кое-какие идейки (генерация выводов по исходным фактам) на основе
"Русской логики". Там минимизация - обязательное условие. Автор использует карты Карно, но они хороши для ручной работы и небольшого числа входов (так как представляют собой фактически таблицу истинности заданной логической функции). Мне же нужен алгоритм для любого разумного количества входных переменных.
Что интересно, "метод обобщенных кодов" упоминается в тексте, как находящийся где-то на вышеприведенном сайте, но я его найти там не сумел.
