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

Доказано, что любую систему из двух булевых функций можно реализовать схемой из функциональных элементов в базисе Жегалкина, неизбыточной и допускающей единичный проверяющий тест длины не более\(3\) в случае произвольных константных неисправностей на выходах элементов.