Математическая логика

1.На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим). Описать предикаты, определенные на координатной плоскости P (z) "точка z принадлежит множеству A" A  , P (z) "точка z принадлежит множеству B" B  (границы включены в множества, можно использовать логические операции и сравнение ≤). С использованием полученных предикатов записать в виде формул логики предикатов высказывания о множествах А и В.

2.. Построить машину Тьюринга для вычисления функции. Внешний алфавит состоит только из 0 и 1, 0 – пустой символ. Пояснения по построению программы для МТ обязательны. Проверить работу машины Тьюринга для конкретных значений x,y и нарисовать граф, соответствующий построенной МТ.