รูปแบบบัญญัติ (พีชคณิตแบบบูล)

ในวิชาพีชคณิตแบบบูล ใด ๆ สามารถแสดงให้อยู่ใน (canonical form) ได้โดยอาศัยมโนทัศน์คู่กันของ มินเทิร์ม และ แมกซ์เทิร์ม ฟังก์ชันเชิงตรรกะใด ๆ สามารถแสดงให้อยู่ในรูปแบบบัญญัติได้ ทั้งแบบ "ผลบวกของมินเทิร์ม" และแบบ "ผลคูณของแมกซ์เทิร์ม" รูปแบบบัญญัติทำให้เราสามารถวิเคราะห์เพื่อลดความซับซ้อนของฟังก์ชันเหล่านี้ได้ ซึ่งมีความสำคัญอย่างยิ่งในการลดรูปวงจรดิจิทัล

ฟังก์ชันแบบบูลซึ่งแสดงให้อยู่ในรูปของมินเทิร์มนั้นเรีกว่า "ผลบวกของผลคูณ" และฟังก์ชันที่คู่กันตามกฎเดอมอร์แกนนั้นเรียกว่า "ผลคูณของผลบวก" ซึ่งแสดงในรูปของของแมกซ์เทิร์ม