НИЖНЯЯ ОЦЕНКА ДЛИНЫ ПОЛНОГО ПРОВЕРЯЮЩЕГО ТЕСТА В БАЗИСЕ {x|y}
Доказывается, что для любой схемы в базисе "штрих Шеффера", реализующей функцию x1∨x2 ∨.. .∨Хn, длина полного проверяющего теста в случае константных неисправностей типа "1" не меньше n+1 (n>2). Приводится пример схемы, реализующей упомянутую функцию в указанном базисе, для которой длина полного проверяющего теста равна n+1.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
Доказывается, что для любой схемы в базисе "штрих Шеффера", реализующей функцию x1x2 .. .Хn, длина полного проверяющего теста в случае константных неисправностей типа "1" не меньше n+1 (n>2). <...> Приводится пример схемы, реализующей упомянутую функцию в указанном базисе, для которой длина полного проверяющего теста равна n+1. <...> Доказывается, что для любой схемы в базисе "штрих Шеффера", реализующей функцию x1x2 .. .Хn, длина полного проверяющего теста в случае константных неисправностей типа "1" не меньше n+1 (n>2). <...> Приводится пример схемы, реализующей упомянутую функцию в указанном базисе, для которой длина полного проверяющего теста равна n+1. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: