13 531
правка
Изменения
м
Нет описания правки
# Тесты. Алгоритм построения всех тупиковых тестов. Нижние оценки длины тестов для таблиц. Верхняя оценка длины теста для почти всех таблиц.
# Оценки длины теста для КС, реализующей счетчик четности.
# Синтез СФЭ из ненадежных элементов. Оценка вероятностинеправильною срабатывания СФЭ. Невозможность построения сколь угодно надежных схем. Пример нарастания ненадежности. Пример изменения выразительной способности СФЭ. Критерий возможности сколь угодно надежной реализации булевых функций.
# Повышение надежности с помощью функции голосования. Однородные деревья. Число внутренних вершин однородного дерева с q висячими вершинами. Лемма о поддеревьях.
# Верхняя оценка сложности реализации произвольной булевой функции (БФ) схемами в базисе {H,V,&, # Теорема о сколь угодно надежной реализации произвольной БФ схемой в базисе {H,V,&, -} с надежным элементом Н.
