Mavzu: Ikkilik Prinsipi haqidagi teeorema Reja: Ikkilik prinsipi umumiy ta’rif Ikkilik teoremalar

Ikkilik printsipi : Ikkilik printsipi shuni ko'rsatadiki, agar ikkala tomon o'zlarining duallari bilan almashtirilsa, mantiqiy identifikatsiya o'z kuchida qoladi.
Ikkilik printsipi : 
Ikkilik printsipi mantiqiy algebra va mantiqiy algebra tushunchalariga asoslanadi.
Boolean algebrasida biz o'zimizga qulay bo'lgan har qanday belgini tanlashimiz mumkin. Amaliyot uchun bizga allaqachon berilgan belgilarga bog'lanishimiz shart emas. Bu erda belgilarni 0 yoki 1 sifatida qabul qilish shart emas, biz ularning o'rniga ἀ va ᵦ va hokazo kabi istalgan belgilarni olishimiz yoki ishlatishimiz mumkin. Va biz buni doimiy ravishda bajarsak, u baribir mantiqiy algebra deb ataladi.
Bundan tashqari, biz 0 va 1ni 1 va 0 sifatida o'zgartirishimiz yoki ishlatishimiz mumkin va u baribir mantiqiy algebra deb ataladi, lekin ba'zi farqlar bilan keyin ^ ᵥ ga aylanadi va endi barcha operatsiyalar bizga qarama-qarshi natijalar beradi.
Shunday qilib, biz qiymatlarning nomlarini o'zgartirishimiz mumkin degan xulosaga keldik, lekin agar biz qiymatlar bilan bajarilgan operatsiyalarni o'zgartirsak, natija butunlay oldindan aytib bo'lmaydi, ya'ni berilgan qiymatlarning chiqishi qanday bo'lishini taxmin qila olmaymiz.
Qachonki, qiymatlar va operatsiyalar natija yoki chiqish yoki muhim bo'lgan hamma narsa o'zgarmaydigan tarzda bog'langan bo'lsa, biz bu juftlarni bir-biriga dual deb ataymiz. Shunday qilib, biz 0 va 1 ning dual ekanligini, ᵥ va ^ ning ham ikkilik ekanligini osongina tushunishimiz mumkin.
Masalan, xy̅ + 1 ning dualligi (x + y) · 0 ga teng