Решение логических функций