О сложности реализации некоторых процедур распознавания

При реализации некоторых процедур распознавания комбинаторно-логического характера (тестовые алгоритмы, алгоритмы типа «Кора») возникает задача построения сокращенной дизъюнктивной нормальной формы булевой функции, заданной конъюнктивной нормальной формой. Предлагается подход к ее решению, позволяющий при определенных условиях сократить «перебор» в некотором смысле до минимального. Приводятся оценки, касающиеся числа и длины опорных множеств в алгоритмах типа «Кора». Описывается метод синтеза опорных множеств в алгоритмах типа «Кора», основанный на построении тестов.