логическая функция f задается выражением