Минимизация булевых функций методом Квайна