Формула $F*$ называется двойственной формуле $F$, если она получена из F заменой символов функций на символы двойственных им функций.

Пример нахождения двойственной функции

По ТИ

По определению

Принцип двойственности

Теорема 1

Теорема 2

Следствие