май12
Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов
К.А. Попков (ИПМ им. М.В.Келдыша)
12 май 2022 в 12:00
комната 220, корпус В
12 май 2022 в 12:00
комната 220, корпус В
Доказано, что любую (почти любую) булеву функцию от \(n\) переменных можно реализовать схемой из функциональных элементов в базисе «конъюнкция, дизъюнкция, импликация, отрицание», допускающей условный полный диагностический тест глубины не более \(n\) (соответственно не более \(n-1\)) относительно константных неисправностей типа 0 на выходах элементов.