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