Алгоритмы проверки эквивалентности для не всюду определенных булевых функцийдипломная работа (Бакалавр)