Электронный каталог библиотеки временно недоступен, поэтому сведения могут отсутствовать, быть неполными или устаревшими.
Автоматизация конструирования определенных счетных классов булевых функций и минимизация их сложности
статья из журнала
База данных:Каталог библиотеки СФУ
Аннотация:Предлагается конструктивный метод синтеза суперпозиционных формул (схем их функциональных элементов), в результате которого на основе функциональных уравнений аналитически получаются верхние оценки значений показателей сложности по числу базисных функций (функциональных элементов) и другие оценки. Приводится сопоставление сложностей функций отдельных счетных классов в стандартном базисе и базисе Жегалкина.