Давайте начнем с первой части вопроса, где нам нужно определить, логически ли следует Y из формул X ∨ Y ∨ Z, X ∨ Y ∨ ¬Z и ¬X ∨ Y. Мы можем использовать метод резолюций для этой проверки.

Шаги решения с использованием метода резолюций:

1. Запишем исходные формулы в конъюнктивной нормальной форме (КНФ):
   • F1: X ∨ Y ∨ Z
   • F2: X ∨ Y ∨ ¬Z
   • F3: ¬X ∨ Y
2. Теперь мы будем пытаться вывести Y, используя резолюцию. Для этого мы можем взять отрицание Y, то есть ¬Y, и добавить его к нашим формулам:
   • F4: ¬Y
3. Теперь применим резолюцию к F1 и F4:
   • Из F1: X ∨ Y ∨ Z и F4: ¬Y получаем: X ∨ Z.
4. Теперь применим резолюцию к F2 и F4:
   • Из F2: X ∨ Y ∨ ¬Z и F4: ¬Y получаем: X ∨ ¬Z.
5. Теперь применим резолюцию к F3 и F4:
   • Из F3: ¬X ∨ Y и F4: ¬Y получаем: ¬X.
6. Теперь у нас есть:
   • 1) X ∨ Z
   • 2) X ∨ ¬Z
   • 3) ¬X
7. Теперь мы можем применить резолюцию к первой и третьей формуле:
   • Из 1) X ∨ Z и 3) ¬X получаем: Z.
8. Теперь у нас есть Z, но это не приводит к противоречию с ¬Y. Таким образом, мы не можем вывести Y.

Вывод: Из формул X ∨ Y ∨ Z, X ∨ Y ∨ ¬Z, ¬X ∨ Y логически не следует Y.

Теперь перейдем ко второй части вопроса:

Мы хотим найти функцию f(x, y), полученную из функций g(x) и h(x, y, z) по схеме примитивной рекурсии, где:

• g(x) = x²
• h(x, y, z) = x * z

Согласно определению примитивной рекурсии, функция f будет определяться следующим образом:

• f(0, y) = g(0) = 0² = 0
• f(x + 1, y) = h(x, f(x, y), y) = x * f(x, y)

Таким образом, мы можем записать:

• f(x, y) = { 0, если x = 0; x * f(x - 1, y), если x > 0 }

Теперь мы можем перейти к третьей части вопроса, где нам нужно построить машину Тьюринга, уменьшающую записанное на ленте число на 216, если это число больше 216.

Построение машины Тьюринга:

1. Состояния машины:
   • q0 - начальное состояние
   • q1 - проверка числа
   • q2 - вычитание 216
   • q3 - завершение
2. Алфавит:
   • 0-9 - цифры
   • λ - пустая ячейка
3. Переходы:
   • Из состояния q0:
     • Читать цифру, двигаться вправо, переходить в q1.
   • Из состояния q1:
     • Если число больше 216, перейти в q2.
     • Иначе перейти в q3.
   • Из состояния q2:
     • Вычитать 216, возвращаться в q1.
   • Из состояния q3:
     • Остановиться.

Таким образом, мы спроектировали машину Тьюринга, которая будет уменьшать записанное на ленте число на 216, если оно больше 216. Если число меньше или равно 216, машина останавливается.