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