Булевы функции. Классы поста.

← →
@!!ex © (2006-12-28 03:07) [0]

Народ, подскажите, как доказать, что из функции
f = (1100 0111)
с помощью суперпозиций нельзя получить
g = (1101 1000)
или если получить можно, то как.
Лекции тупые, в книжке рассматриваются в качестве примеров другой вариант, где f - функционально полный класс, и все.
Мне через 9 часов расчетные работы уже сдавать, или не допуск к зачету....... А я не въеду никак. Единственное из 30 заданий, которое я не понимаю......

← →
@!!ex © (2006-12-28 03:30) [1]

Ай. Не те функции написал. Тут как раз g - функционально полна, эт я знаю как делать.
Вот:
f = (1001 0110)
g = (1110 0110)
Это первый мой баг.
Bторой: g - функционально оплный, а f - нет(самодвойственна) => из g f получить можем, а из f g - нет.
Хотя понимания все равно немного не хватает.
Буду благодарен, если кто объяснит.

Правильно, базис функций g функционально полный (и даже избыточный). В базисе f обе функции самодвойственны, таким образом теорема Поста-Яблонского не выполняется.

http://sevntu.com.ua/conference/virt/Materials/Shkil/text2/tema4/polnotafun.htm

Булевы функции. Классы поста. Найти похожие ветки