О преобразовании графовых опровержений булевых функцийкурсовая работа (Специалист)