Коллега, но по формуле Патапыча x (P1(x) → P2 (x)) x (P2 (x) & P3 (y)x (P3 (x)&¬P1(x)). ≠ новый стадион в срок + участие в РПЛ в след сезоне. Тоже Классика! Как быть?
