RUS  ENG
Полная версия
ЖУРНАЛЫ // Препринты Института прикладной математики им. М. В. Келдыша РАН // Архив

Препринты ИПМ им. М. В. Келдыша, 2017, 030, 31 стр. (Mi ipmp2246)

Эта публикация цитируется в 3 статьях

Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание»

К. А. Попков


Аннотация: Рассматривается задача синтеза неизбыточных схем из функциональных элементов, реализующих булевы функции от $n$ переменных и допускающих короткие единичные проверяющие тесты относительно однотипных константных неисправностей на выходах элементов, в базисе $\{\&,\neg\}$ и схожих базисах. Для каждой булевой функции, допускающей реализацию неизбыточной схемой, найдено минимально возможное значение длины такого теста. В частности, доказано, что оно не превосходит трëх.

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

DOI: 10.20948/prepr-2017-30



© МИАН, 2024