สารบัญ:
คำจำกัดความ - รูปแบบปกติร่วม (CNF) หมายถึงอะไร?
Conjunctive normal form (CNF) เป็นวิธีการตรรกะบูลีนที่แสดงสูตรเป็นคำสันธานของอนุประโยคที่มีและหรือ แต่ละข้อที่เชื่อมต่อกันด้วยการรวมกันหรือ AND จะต้องเป็นตัวอักษรหรือมีความแตกต่างหรือผู้ประกอบการหรือ CNF มีประโยชน์สำหรับการพิสูจน์ทฤษฎีบทอัตโนมัติ
Techopedia อธิบายรูปแบบปกติร่วม (CNF)
ในรูปแบบปกติของการเชื่อมคำสั่งในตรรกะบูลีนเป็นคำสันธานของคำสั่งที่มีคำสั่งของการแยก กล่าวอีกนัยหนึ่งคำสั่งคือชุดของ OR ที่เชื่อมต่อกันด้วย AND
ตัวอย่างเช่น:
(A หรือ B) และ (C หรือ D)
(A หรือ B) และ (ไม่ใช่ C หรือ B)
ส่วนคำสั่งอาจเป็นตัวอักษร:
A หรือ B
A และ B
ตัวอักษรจะเห็นใน CNF เป็นคำสันธานของตัวอักษรและคำสันธานที่เกิดขึ้นมีประโยคเดียว เป็นไปได้ที่จะแปลงคำสั่งเป็น CNF ที่เขียนในรูปแบบอื่นเช่นรูปแบบปกติที่ไม่ต่อเนื่อง
