Canonical
จากวิกิพีเดีย สารานุกรมเสรี
รูปแบบของสมการบูลีนมาตราฐาน
รูปแบบฟังก์ชันของบูลีนมี2รูปแบบ คือ 1. Sum of Products (SOP) 2. Product of Sums (POS) Sum of Products หรือผลรวมของผลคูณจะเป็นการนำเทอมที่เกิดจากการANDกันตั้งแต่สองเทอมขึ้นไปมาORกัน เช่น AB + ACD สมการนี้อาจเรียกอีกชื่อหนึ่งว่ามินเทอม (Minterms) Product of Sum หรือผลคูณของผลรวม จะตรงข้ามกับรูปแบบของ SOP โดยจะนำเทอมที่เกิดจากการORกันตั้งแต่สองเทอมขึ้นไปมาทำการANDเช่น(A+B+C).(A+C) สมการนี้อาจเรียกอีกชื่อหนึ่งว่าแม็กเทอม (Maxterms)
Canonical expression ถ้าในเทอมของฟังก์ชันมีตัวแปรอยู่ครบทุกตัวเรียกว่า “Canonical”
การทำเทอมของผลคูณแต่ละเทอมให้เป็น SOP มาตรฐานสามารถทำได้ดังนี้ 1.คูณเทอมที่มีตัวแปรไม่ครบด้วยตัวแปรที่ไม่มี และมีค่าทางบูลีนเป็น 1 เช่น(B+B) 2.ทำขั้นตอนที่1กับเทอมต่อๆไป และนำทุกเทอมมารวมกัน ตัวอย่างการทำ SOP มาตราฐาน ฟังก์ชัน SOP ใดๆ สามารถเขียนให้อยู่ในรูปของ Canonical SOP ได้โดย AND เทอมที่มีตัวแปรไม่ครบด้วยตัวแปรที่ขาดไปเช่น
พิจารณาฟังก์ชัน ทางด้านขวาเทอมแรกขาดตัวแปร B ดังนั้นจะ AND ด้วย (B+B') ส่วนเทอมที่สองขาดตัวแปร C ดังนั้นจะ AND ด้วย (C+C') ฟังก์ชันจึงได้เป็น
การทำเทอมของผลบวกแต่ละเทอมให้เป็น POS มาตรฐานสามารถทำได้ดังนี้ 1.นำเทอมที่มีตัวแปรไม่ครบมา OR กับค่า 0 ที่เกิดจากตัวแปรที่ยังไม่มี 2.จัดรูปแบบโดยใช้ A+BC = (A+B).(A+C) 3.ทำตามขั้นตอนที่ 1 กับเทอมผลบวกทุกเทอม และจัดรูปให้อยู่ในรูปมาตรฐาน ตัวอย่างการทำ POS มาตราฐาน ฟังก์ชัน POS ใดๆ ก็สามารถเขียนให้อยู่ในรูปของ Canonical POS ได้โดย OR เทอมที่มีตัวแปรไม่ครบด้วยตัวแปรที่ขาดไป คือ A หรือ B หรือ C