Метод самопонижающихся циклов

[damir_777]

Здравствуйте.
Речь идет о минимизации булевых выражений. Конечно, в основном описывается метод Квайна, Квайна-Макласки
но вот в книге Самофалова по цифровым автоматам встретил метод самопонижающихся циклов, но что то не очень его понял.
Если кто знает можете поподробней объяснить его, а также что удобней применять , т.е что вам кажется более легким в плане реализации в программе.
В интернете практически нет упоминаний об этом методе. Также хотел узнать насчет его эффективности в сравнении с методом Мак Класки