Про двойственные функции

[ogcjm]

Добрый вечер). Есть некоторое утверждение о булевых функциях: нет самодвойственных булевых функций, зависящих существенно от 2 своих переменных. Как это можно доказать, у меня пока не особо получается?

[nikvic]

Их оооочень мало - можно и проверить...

[ogcjm]

Не так уж и мало, 10 штук. Может быть есть какой-то другой путь, например, от противного?

[nikvic]

На "булевом квадрате" видно, что самодвойственных всего 4.

[ogcjm]

Ну видно и что. Задача состоит в том, чтобы показать, что нет самодвойственных булевых функций, которые существенно зависят от 2 переменных?

-- 12.01.2013, 00:43 --

Разобрался, спасибо. Помог булев квадрат.

[Deggial]

Тема перемещена из форума «Математика (общие вопросы)» в форум «Помогите решить / разобраться (М)»
Перенёс в соответствующий раздел