Teorema. Faktor algebrasi F n / ~ mantiqiy funktsiyalar algebrasi uchun izomorf B n
Isbot.
Izlangan izomorfizm ξ: Fn / ~ → Bn quyidagi qoida bilan aniqlanadi: ekvivalentlik sinfi ~(φ) funksiya mos keladi f ph, to'plamdan ixtiyoriy formulaning haqiqat jadvaliga ega bo'lish ~(φ) ... Turli xil haqiqat jadvallari har xil ekvivalentlik sinflariga mos kelganligi sababli, xaritalash ξin'ektsion bo'lib, chunki har qanday mantiqiy funktsiya uchun fdan Karvonsaroyfunksiyani ifodalovchi formula mavjud f,xaritalash ξsur'ektiv. Operatsiyalarni saqlash, ko'rsatilganda 0, 1 ξbevosita tekshiriladi. CHTD.
Doimiy bo'lmagan har bir funktsiyaning funksional to'liqligi haqidagi teorema bo'yicha 0 , ba'zi bir SDNF mos keladi ψsinfga tegishli ~ (ph) = p -1 (f)funktsiyani ifodalovchi formulalar f... Muammo sinfda bo'lishdan kelib chiqadi ~(φ) eng oddiy tuzilishga ega bo'lgan disjunktiv normal shakl.
