Проблема
В понедельник у моего товарища экзамен по предмету "Основы логики и теории множественности". Есть задания, которые будут на экзамене. Но нет никакой уверенности в правильности наших ответов на них, т. е. нет никакой возможности подготовится. Может быть кто-то из читателей знает место, где можно проверить ответы?

Сами задания
Основные темы (по спаданию приоритета): кванторы, отношения, алгебра множеств.
Ссылка на альбом в facebook:

Детали
WolframAlpha.com пробовали: нет нужных расчетов.
Сам я этот же экзамен сдал, но едва-едва, т. к. на протяжении семестра у нас были задания совершенно другого типа.
Вопросы на польском языке. Если для кого-то это единственная преграда перед оказанием помощи — перевести не проблема.