К. А. Попков, “Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе”, Препринты ИПМ им. М. В. Келдыша, 2018,161, 7 стр.

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

К. А. Попков

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

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

DOI: 10.20948/prepr-2018-161