Построение самопроверяемых структур систем функционального контроля на основе равновесного кода "$2$ из $4$"

Рассмотрен метод логического дополнения для организации систем функционального контроля на основе равновесного кода "$2$ из $4$" ($2/4$-кода). Формализованы правила вычисления функций логического дополнения для преобразования любого вектора значений рабочих функций в системе функционального контроля до вектора $2/4$-кода. Сформулированы необходимые и достаточные условия, предъявляемые к контролируемому логическому устройству для обеспечения свойства полной самопроверяемости структуры системы функционального контроля.