Как найти двойственную булеву функцию?
======================================

 

Как найти двойственную булеву функцию? 

Булева функция f*(x1, …, xn) называется двойственной булевой функции f(x1, …, xn), если она получена из f(x1, …, xn) инверсией всех аргументов и самой функции, то есть  

f*(x1, …, xn) =f (x 1, …, x n).  

 Пусть булева функция f(x1, …, xn) задана формулой Ff. Чтобы получить формулу F’f* для функции f*(x1, …, xn), двойственной функции f(x1, …, xn), необходимо, согласно определению, проинвертировать все переменные, пользуясь при этом законом двойного отрицания, и саму функцию. При этом формулу F’f* можно упростить (убрать длинную инверсию над формулой), заменив символ функции, которая вычисляется последней, на символ инверсной ей функции.