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

Другими словами, если каждую функцию в формуле заменить на двойственную ей, то это то же самое, что и заменить результирующую функцию на двойственную ей. 4

Чтобы получить двойственную формулу булевой алгебры, нужно заменить в ней все конъюнкции на дизъюнкции, дизъюнкции на конъюнкции, 0 на 1, 1 на 0, и использовать скобки, где необходимо, чтобы порядок выполнения операций остался прежним. 1