представления булевых функций