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