Аннотация:Дипломная работа посвящена построению дизъюнктивных нормальных форм т.н. полных функций. Это функции, заданные матрицами нулевых наборов, в каждой матрице по строкам перечислены все наборы, на которых функция обращается в ноль, кроме того, по столбцам по одному перечислены всевозможные булевы векторы с точностью до отрицаний. В зависимости от числа нулевых наборов получаем различные полные функции. Задачей ДНФ-реализации булевых функции по перечню нулевых наборов занимались С.В. Яблонский, Ю.И. Журавлёв, А.Ю. Коган, Ю.В. Максимов. Полные функции представляют особый интерес, поскольку при определённых ограничениях почти все функции с малым числом нулей полные. Более того, существует гипотеза (которая, скорее всего, не является верной), что кратчайшие ДНФ полных функций «самые сложные».
Дипломнику удалось в явном виде получить ДНФ-формулу полной функции, в отличие от всех известных формул она является наиболее простой. Обоснована тупиковость полученной ДНФ. Кроме того, для случая шести нулей компьютерным перебором обоснована её кратчайшесть.