Обнаружение неисправностей в схемной реализации системы монотонных булевых функций

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