4.7. Двойственность в алгебре логики. Самодвойственные функции

Функция называется двойственной функцией к функции .

Чтобы получить двойственную функцию из исходной, надо каждой переменной придать отрицание на самом нижнем уровне формулы, затем общее отрицание всей формуле (на самом верхнем уровне) и привести к ДНФ (упростить).

У двойственной функции на противоположных наборах принимаются противоположные значения: если , то .

Функция называется самодвойственной, если .

Самодвойственными являются функции .

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