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