Електронний каталог наукової бібліотеки НАКККіМ

• Класифікатори
• 519.115 Задачі перелічення в комбінаторному аналізі

519.115.4 Перелік булевих функцій та диз'юктивних нормальних форм