İçerik
- Tanımı - Disjunktif Normal Form (DNF) ne anlama geliyor?
- Microsoft Azure ve Microsoft Cloud'a Giriş | Bu kılavuz boyunca, bulut bilişimin neyle ilgili olduğunu ve Microsoft Azure'un işinizi buluttan geçirmenize ve yürütmenize nasıl yardımcı olabileceğini öğreneceksiniz.
- Techopedia Disjunctive Normal Formunu (DNF) Açıklıyor
Tanımı - Disjunktif Normal Form (DNF) ne anlama geliyor?
Disjunctive normal form (DNF), Boolean matematiğinde mantıksal bir formülün normalleşmesidir. Başka bir deyişle, eğer her değişkenle birleşik bir bağlantı ise ve olumsuzluğu her bir birleşimde mevcutsa, mantıksal bir formülün normal olmayan bir formda olduğu söylenir. Tüm önermeli normal formlar benzersiz değildir, çünkü aynı önerme için tüm düzenleyici normal formlar karşılıklı olarak eşdeğerdir.
Ayrık normal form otomatik teorem kanıtı gibi alanlarda yaygın olarak kullanılmaktadır.
Microsoft Azure ve Microsoft Cloud'a Giriş | Bu kılavuz boyunca, bulut bilişimin neyle ilgili olduğunu ve Microsoft Azure'un işinizi buluttan geçirmenize ve yürütmenize nasıl yardımcı olabileceğini öğreneceksiniz.
Techopedia Disjunctive Normal Formunu (DNF) Açıklıyor
Mantıksal bir formül, yalnızca bir veya daha fazla değişmezin bir veya daha fazla birleşiminin bir alternatifinin mevcut olması durumunda ayrık normal formdadır. İlgili tüm değişkenler her maddede yalnızca bir kez temsil edilirse, bir formül tam ayrık normal formda kabul edilir. Konjonktif normal forma benzer şekilde, konjonktif normal formdaki önermeci operatörler aynıdır: AND, OR ve NOT.
Tüm mantıksal formüller eşdeğer ayrık normal forma dönüştürülebilir. Bununla birlikte, bazı durumlarda, ayrık normal forma dönüşümden dolayı mantıksal fonksiyonun üssel patlaması mümkündür. Bir başka belirgin nokta, herhangi bir benzersiz Boolean fonksiyonunun sadece bir ve benzersiz bir tam ayrık normal formda gösterilebilmesidir. Doğruluk tablosu yöntemi, doğruluk ağacı veya mantıksal eşdeğerlik tablosu gibi teknikler yardımıyla, mantıksal formüller için ayrık normal form üretilebilir. Ayrık normal formun bir varyasyonu olan K-DNF, hesaplama karmaşıklığı çalışmalarında yaygın olarak kullanılır ve popülerdir.