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