Визначення. Формула F* називається двоїстою формулою F, якщо вона отримана з F заміною символів функцій на символи подвійних їм функцій. приклад. Теорема (принцип двоїстості).
Подвійні формули – в алгебрі логіки – це такі формули, що виходять одна з іншої шляхом заміни в них кожного знака кон'юнкції на знаки диз'юнкції та навпаки. При цьому передбачається, що формули побудовані лише за допомогою операцій ∧, ∨, ~.
Функція самодвійна, якщо і тільки якщо на протилежних наборах набуває протилежних значень. Достатня умова несамовитості булевої функції. Якщо число одиниць у стовпці значень функції не збігається з числом нулів, то функція не є самодвійної.
Бульова функція називається лінійною (належить класу L), якщо її поліном Жегалкіна лінійний. Твердження про число булевих функцій класу L. Число різних лінійних булевих функцій, що залежать від n змінних, дорівнює 2n+1.