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