Булева алгебра
Аксиомите и теоремите записани вляво са двойнствени на тези, записани в дясно. Двойнствеността се определя, като замяна на всички операции И с ИЛИ, на всички операции ИЛИ с И, замяна на всички единици с нули и всички нули с единици....