Теоретическая кибернетика

Доказаны следующие утверждения:

1. Любую булеву функцию от \(n\) переменных можно смоделировать схемой из функциональных элементов в базисе «конъюнкции произвольного числа переменных, дизъюнкция двух переменных, отрицание», содержащей один дополнительный вход и допускающей полный диагностический тест длины не более \(n+1\) при константных неисправностях типа 1 на выходах элементов;
2. Любую монотонную булеву функцию от \(n\) переменных можно смоделировать схемой из функциональных элементов в стандартном базисе «конъюнкция, дизъюнкция, отрицание», содержащей один дополнительный вход и допускающей полный диагностический тест длины не более \(n+2\) при константных неисправностях типа 1 на выходах элементов.