Аннотация:
Доказано, что любую булеву функцию от n переменных можно смоделировать тестопригодной схемой из функциональных элементов с двумя дополнительными входами в базисе «конъюнкция, косая конъюнкция, дизъюнкция, отрицание», допускающей полный диагностический тест длины не более 2n+3 относительно константных неисправностей типа 1 на выходах элементов.
Ключевые слова:
схема из функциональных элементов, константная неисправность, полный диагностический тест, булева функция.
Образец цитирования:
К. А. Попков, “Короткие полные диагностические тесты для схем с двумя дополнительными входами в одном базисе”, Дискрет. матем., 34:2 (2022), 67–82; Discrete Math. Appl., 33:4 (2023), 219–230
К. А. Попков, “О реализации линейных булевых функций самокорректирующимися схемами из ненадежных функциональных элементов”, Матем. заметки, 115:1 (2024), 91–107; K. A. Popkov, “Implementation of Linear Boolean Functions by Self-Correcting Circuits of Unreliable Logic Gates”, Math. Notes, 115:1 (2024), 77–88
К. А. Попков, “Короткие полные диагностические тесты для схем,
реализующих линейные булевы функции”, Матем. заметки, 113:1 (2023), 75–89; K. A. Popkov, “Short Complete Diagnostic Tests for Circuits Implementing Linear Boolean Functions”, Math. Notes, 113:1 (2023), 80–92
Kirill Andreevich Popkov, Proceedings of Academician O.B. Lupanov 14th International Scientific Seminar “Discrete Mathematics and Its Applications”, 2022, 89