Решение булевых функций