Бинарные функции многозначных аргументов. Минимизация их представлений в классе формул, обобщающих дизъюнктивно нормальные формы булевых функцийдипломная работа (Специалист)