ในการแปลงลอจิกของลำดับแรกเป็น CNF:
- แปลงเป็นรูปแบบปกติของการปฏิเสธ ขจัดความหมายและความเท่าเทียมกัน: แทนที่ด้วย; แทนที่ด้วย. …
- ปรับตัวแปรให้เป็นมาตรฐาน …
- Skolemize คำสั่ง. …
- วางตัวระบุสากลทั้งหมด
- กระจาย OR เข้าด้านใน ANDs: แทนที่ด้วย. ซ้ำๆ
สูตร CNF คืออะไร
Conjunctive normal form (CNF) คือ วิธีการตรรกะบูลีนที่แสดงสูตรเป็นคำสันธานของอนุประโยคที่มี AND หรือ OR แต่ละประโยคที่เชื่อมต่อกันด้วยคำเชื่อม หรือ AND ต้องเป็นตัวอักษรหรือมีการแยกส่วน หรือโอเปอเรเตอร์ CNF มีประโยชน์สำหรับการพิสูจน์ทฤษฎีบทอัตโนมัติ
คุณแปลง DNF เป็น CNF ได้ไหม
หากคุณต้องการแนะนำตัวแปรเพิ่มเติม คุณสามารถแปลงจากรูปแบบ DNF เป็น CNF ในเวลาพหุนามโดย โดยใช้การแปลง Tseitin สูตร CNF ที่เป็นผลลัพธ์จะเทียบเท่ากับสูตร DNF ดั้งเดิม: สูตร CNF จะเป็นที่น่าพอใจก็ต่อเมื่อสูตร DNF ดั้งเดิมเป็นที่พอใจเท่านั้น
ฉันจะหา CNF ได้อย่างไร
เพียงเขียนตารางความจริงลงไป ซึ่งหาค่อนข้างง่าย และอนุมาน CNF และ DNF ของคุณ หากคุณต้องการค้นหา DNF คุณต้องดูแถวทั้งหมดที่ลงท้ายด้วย T เมื่อคุณพบแถวเหล่านั้น ให้นำค่า x, y และ z จากแต่ละคอลัมน์ที่เกี่ยวข้อง ดังนั้น คุณจะได้ (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
คุณแปลง disjunctive เป็น.อย่างไรแบบปกติ?
ประพจน์ประนอมเรียกว่าอยู่ในรูปแบบปกติแยก หรือ DNF หากเป็น การแยกคำสันธานของพจน์ทั่วไป และหาก นอกจากนี้ แต่ละตำแหน่งโปร- ตำแหน่ง ตัวแปรเกิดขึ้นมากที่สุดหนึ่งครั้งในแต่ละคำเชื่อม และแต่ละคำสันธานจะเกิดขึ้นสูงสุดหนึ่งครั้งในการแยกส่วน