Условие:
Проверить, принадлежат ли функции f(x,y,z)=(1000 0010) и g(x,y,z)=(0000 1101) к классам T0, T1, L, S, M.
Решение:
Классы T0, T1, L, S, M называются классами Поста.
1) Класс функций, сохраняющих константу 0: 𝑇0𝑓(0,0,,0)=0
2) Класс функций, сохраняющих константу 1: 𝑇1𝑓(1,1,,1)=1
3) Класс самодвойственных функций: 𝑆𝑓(𝑥1,,𝑥𝑛)=
...