Метод синтеза неизбыточных схем в стандартном базисе, допускающих единичные диагностические тесты длины два

Актуальность и цели. Цель данной работы состоит в демонстрации возможности синтеза (для произвольной функции алгебры логики) схемы из функциональных элементов в стандартном базисе, реализующей эту функцию и допускающей единичный диагностический тест длины не более двух при инверсных неисправностях на выходах элементов, что может быть полезно при проектировании легкотестируемых СБИС. Материалы и методы. При получении основных результатов использовались методы алгебры логики и теории синтеза схем из функциональных элементов. Результаты. Доказывается, что для произвольной функции алгебры логики $f$, зависящей от n переменных, существует неизбыточная реализующая функцию $f$ схема из функциональных элементов в базисе $\{x\&y, x\vee y, -x\}$, допускающая единичный диагностический тест длины не более двух при инверсных неисправностях на выходах элементов, при этом для каждой булевой функции установлена длина минимального единичного диагностического теста.