تابع بولی و فرم‌های استاندارد

از جدول تا عبارت

مین‌ترم: سطرهایِ یک

هر سطر جدول درستی که خروجی‌اش ۱ است، یک مین‌ترم می‌سازد: ضرب همهٔ متغیرها به‌طوری‌که متغیرِ ۱ خودش و متغیرِ ۰ نقیضش بیاید. مثلاً سطر $x=1,y=0,z=1$ مین‌ترم $x{y}^{\prime }z$ است — تنها ضربی که دقیقاً در همین سطر ۱ می‌شود.

شمارهٔ مین‌ترم همان عدد دودویی سطر است: سطر ۱۰۱ مین‌ترم شمارهٔ ۵ ($m_5$).

ماکس‌ترم: سطرهایِ صفر

برعکس آن: هر سطر با خروجی صفر یک ماکس‌ترم می‌سازد — جمع همهٔ متغیرها به‌طوری‌که متغیرِ ۱ نقیض و متغیرِ ۰ خودش بیاید. سطر $x=1,y=0,z=1$ ماکس‌ترم $(x^{\prime }+y+z^{\prime })$ است؛ تنها جمعی که دقیقاً در همین سطر صفر می‌شود.

SOP و POS: دو فرم استاندارد

• SOP (جمعِ ضرب‌ها): OR گرفتن از مین‌ترم‌های سطرهایِ یک. مثلاً $F=m_1+m_5=x^{\prime }{y}^{\prime }z+x{y}^{\prime }z$. نماد فشرده: $F=\Sigma m(1,5)$.
• POS (ضربِ جمع‌ها): AND گرفتن از ماکس‌ترم‌های سطرهایِ صفر. نماد فشرده: $F=\Pi M(0,2,3,4,6,7)$.