Як привести до КНФ?
КНФ Для доказу істинності деякого виразу, його можна призвести до нормальної кон'юнктивної форми (КНФ). Щоб це зробити, спочатку позбавляються зв'язок еквівалентності та імплікації: A≡B ⇔ (A→B)&(B→A), A→B ⇔ ¬A∨
У чому різниця ДНФ та СДНФ?
З цієї причини ДНФ з повторюваними доданками та співмножниками використовуються зазвичай лише з допоміжними цілями, наприклад, при аналітичному перетворенні виразів. СДНФ є канонічною формою представлення булевої функції у вигляді ДНФ, в якій повтори доданків та співмножників заборонені.