İçindekiler:
- Tanım - Kesikli Normal Form (DNF) ne anlama geliyor?
- Techopedia, Disjunktif Normal Formu (DNF) açıklıyor
Tanım - Kesikli Normal Form (DNF) ne anlama geliyor?
Ayrık normal form (DNF), Boole matematiğinde mantıksal bir formülün normalleştirilmesidir. Başka bir deyişle, her değişkenle bağlaçların bir ayrılması ve mantıksızlığın her bağlaçta bir kez mevcut olması durumunda, mantıksal bir formülün ayrık normal formda olduğu söylenir. Aynı öneri için tüm ayrık normal formlar karşılıklı olarak eşdeğer olduğundan, tüm ayrık normal formlar benzersiz değildir.
Kesikli normal form, otomatik teorem kanıtlama gibi alanlarda yaygın olarak kullanılmaktadır.
Techopedia, Disjunktif Normal Formu (DNF) açıklıyor
Mantıksal bir formül, yalnızca ve bir veya daha fazla değişmez değerinin bir veya daha fazla birleşiminin değişmesi varsa, ayrık normal formdadır. İlgili tüm değişkenler her bir maddede yalnızca bir kez temsil edilirse, formül tam ayrık normal formda kabul edilir. Konjonktif normal forma benzer şekilde, disjunktif normal formdaki önerme operatörleri aynıdır: AND, OR ve NOT.
Tüm mantıksal formüller, eşdeğer bir ayrık normal forma dönüştürülebilir. Bununla birlikte, bazı durumlarda, ayrık normal forma dönüşüm nedeniyle mantıksal fonksiyonun üstel patlaması mümkündür. Bir başka göze çarpan nokta, herhangi bir benzersiz Boole işlevinin sadece bir ve benzersiz bir tam ayrık normal formla temsil edilebilmesidir. Doğruluk tablosu yöntemi, doğruluk ağaçları veya mantıksal denklikler tablosu gibi tekniklerin 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ılmaktadır ve popülerdir.
