анализ булевых функции