Birinci dereceden mantığı CNF'ye dönüştürmek için:
- Olumsuz normal forma dönüştürün. Etkileri ve denklikleri ortadan kaldırın: tekrar tekrar; ile değiştirin. …
- Değişkenleri standartlaştırın. …
- İfadeyi küçültün. …
- Tüm evrensel niceleyicileri bırakın.
- VEYA'ları VE'ler üzerinden içeriye doğru dağıtın: art arda. ile değiştirin
CNF formülü nedir?
Birleşik normal biçim (CNF), formülleri bir AND veya OR ile yan tümcelerin birleşimi olarak ifade eden Boole mantığına bir yaklaşımdır. Bir bağlaç veya AND ile bağlanan her tümce, ya değişmez olmalı ya da bir ayırma ya da OR operatörü içermelidir. CNF, otomatik teorem ispatı için kullanışlıdır.
DNF'yi CNF'ye dönüştürebilir misiniz?
Ek değişkenler eklemek istiyorsanız, Tseitin dönüşümünü kullanarak polinom zamanında DNF'den CNF formuna dönüştürebilirsiniz. Ortaya çıkan CNF formülü, orijinal DNF formülü ile eşitlenebilir olacaktır: CNF formülü, ancak ve ancak orijinal DNF formülü tatmin edilebilir olduğunda tatmin edilebilir olacaktır.
CNF'yi nasıl edinebilirim?
Bulması oldukça basit olan doğruluk tablosunu yazmanız ve CNF ve DNF'nizi çıkarmanız yeterlidir. DNF'yi bulmak istiyorsanız, T ile biten tüm satırlara bakmalısınız. Bu satırları bulduğunuzda, ilgili her sütundan x, y ve z değerlerini alın. Böylece, (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z) elde edersiniz).
Ayrıştırıcıyı nasıl dönüştürürsünüz?normal form?
Bir bileşik önermenin, eğer basit terimlerin bağlaçlarının bir ayrılmasıysa ve ayrıca, her önerme değişken her bağlaçta en fazla bir kez, her bağlaç da ayrılıkta en fazla bir kez bulunur.
