2.2.2. Верно ли, что ? ( - замыкание класса {g}).
Нет, g (сохраняет 1), а f .
Задание 2.3.
2.3.1. Для функций f(x,y,z) и g(x,y,z) выяснить вопрос об их принадлежности к классам T0, T1, L, S, M.
2.3.2. В случае, если некоторая функция представляет из себя функционально полный класс, выразить из неё с помощью суперпозиций константы 0,1, отрицание и конъюнкцию xy.
2.3.3. В случае, если некоторая функция представляет из себя функционально полный в слабом смысле класс, выразить из неё с помощью суперпозиций и фиксирования переменных отрицание и конъюнкцию ху.
2.3.4. Полученные результаты проверить с помощью построения таблиц.
f | g |
1001 0000 | 1000 0011 |
Решение.
x | y | Z | f | g |