О единичных проверяющих тестах при константных неисправностях на выходах элементов в формулах над некоторыми базисами

Цуй Чжэнюй
1. Московский государственный университет имени М.В.Ломоносова, Москва, Россия
ourobros1234@gmail.com
Романов Дмитрий Сергеевич
Scopus Author ID: 54934982400
Researcher ID: 16088
1. Московский государственный университет имени М.В.Ломоносова, Москва, Россия
romanov@cs.msu.ru
Материал поступил в редколлегию 01.06.2025

В статье установлены значения функций Шеннона длины еди\-нич\-ного проверяющего теста при константных неисправностях на вы\-ходах элементов в булевых формулах над базисами $\{xy,\,x\oplus y,\,1\}$, $\{x\vee y,$ $x\sim y,\,0\}$, $\{xy,\,x\sim y,\,0\}$, $\{x\vee y,\,x\oplus y,\,1\}$, $\{x{\bar y},\,x\sim y\}$, $\{x\vee{\bar y},$ $x\oplus y\}$.

УДК 519.718.7


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


Выходные данные: Цуй Чжэнюй, Романов Дмитрий Сергеевич О единичных проверяющих тестах при константных неисправностях на выходах элементов в формулах над некоторыми базисами. Математические труды. 2026, 29, № 1. C. 119–141. DOI: 10.25205/1560-750X-2026-29-1-119-141