Ако една теорема е вярна, то нейната двойствена също ще е вярна.

Двойствеността се получава чрез замяна на логическо събиране с логическо умножение (и обратно) , на 1 с 0 и обратно. В предната таблица, всяка теорема има своята двойствена (отдясно наляво и обратно). Истинският принцип за двойсвеността показва, че трябва да отричате  променливите, но това не е задължително при неговото основно приложение.