легчайшее дерьмо на кванторы общности и базовую логику
самая тупость всегда - задающий придумывает буквенный пример вида А && !B а затем переводит его в "букваторы бывают красные" чтобы затем отвечающий опять это говно перевел в A && !B, потеря времени
а еще в теории можно дать не 60 задач, а одну, но крайне большую и она будет отсеивать намного больше дебилов которые "блин ну я просто минус потерял ну вы чего как в школе!!!!!!!"
математики блядь, минусы теряют, позорище, увольнял бы сразу обратно в третий класс....