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