Домашняя контрольная работа по элементам математической логике

Ссылка на работу
1. Найти множества и изобразить на числовой прямой задания и в координатной плоскости 2. Найти множества и изобразить кругами Эйлера. 3. Задана булева функция трех переменных а) построить таблицу истинности, найти двоичную форму булевой функции и привести функцию к СДНФ и СКНФ; б) найти многочлен Жегалкина и определить, является ли данная булева функция линейной; в) с помощью эквивалентных преобразований привести функцию к ДНФ, КНФ; г) найти двумя способами (с помощью геометрического метода и метода Квайна) МДНФ; д) К каким классами Поста принадлежит эта функция? 4. Определить, является ли полной заданная система функций? Образует ли она базис? 5. Найти множество истинности для следующих двухместных предикатов, заданных на указанном множестве своих переменных. Сравнить предикаты P1(x;y) и P2(x;y)=P1(x;y), если задана высказывательная форма.
https://www.fl.ru/projects/3275765/rabota-po-elementam-mat-logike.html