RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Московского университета. Серия 1: Математика. Механика // Архив

Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, номер 4, страницы 54–57 (Mi vmumm643)

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

Краткие сообщения

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

К. А. Попков

Институт прикладной математики им. М.В. Келдыша Российской академии наук, г. Москва

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

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

УДК: 519.718.7

Поступила в редакцию: 03.08.2018



Реферативные базы данных:


© МИАН, 2024