О локальных алгоритмах упрощения дизъюнктивных нормальных форм булевых функций

Приводится краткое изложение теории локальных алгоритмов упрощения (дизъюнктивных нормальных форм) булевых функций. Формулируются известные локальные алгоритмы. Приводится доказательство существенности всех условий, используемых при построении одного из алгоритмов, и доказывается его мажорантность.