Принцип двойственности в алгебре логики заключается в том, что в булевых алгебрах существуют двойственные утверждения, которые либо одновременно верны, либо одновременно неверны. 4

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

Если функция f задана формулой через отрицание, конъюнкцию и дизъюнкцию, то справедлив следующий принцип двойственности: для того, чтобы получить формулу, реализующую функцию f*, достаточно заменить все операции & на Ъ, все операции Ъ на &, а все константы — противоположными константами. 3