О реализации систем из двух булевых функций легкотестируемыми схемами в базисе Жегалкина

К. А. Попков

ИПМ им. М.В. Келдыша РАН

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

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

УДК: 519.718.7

Статья поступила: 12.08.2025

DOI: 10.4213/dm1891