да, тут надо было использовать куб "логическая формула", а не "формула" как я))