Оценки параметров почти всех функций. Sapogenko DNF (1133221), страница 3
Текст из файла (страница 3)
11-44.[26] Сапоженко А. А. Геометрические свойства почти всех функций алгебры логики. Сб. «Проблемы кибернетики», вып. 30, М., «Наука»,1975, с. 227-261.[27] Лупанов О. Б. О синтезе некоторых классов управляющих систем.Сб. «Проблемы кибернетики», вып. 10, М., Физматгиз, 1963, с. 63-99.[28] Харари Ф. Теория графов. М., «Мир», 1973.[29] Чухров И. П. О числе тупиковых дизъюнктивных нормальныхформ.
Докл. АН СССР, 1982, 262, №6, с. 1329-1332.1314Список сокращений иобозначенийб.ф. д.н.ф. э.к. 4 x̃n Xn Bn Dc , Dfc Dκ , Dfκ DT , DfT -булева функциядизъюнктивная нормальная формаэлементарная конъюнкцияочевидное утверждениеконец доказательствавектор переменных (x1 , x2 , . . . , xn )множество переменных {x1 , x2 , . . . , xn }единичный n-мерный кубсокращённая д.н.ф. (функции f )кратчайшая д.н.ф. (функции f )тупиковая д.н.ф.
(функции f )1516ОглавлениеОценки параметров почти всех функцийОценки длины сокращённой и кратчайшей д.н.ф. для почтивсех функций . . . . . . . . . . . . . . . . . . . . . . . . . . .11Литература11Список сокращений и обозначений1517.