صورت بهنجار جبری

در جبر بولی، صورت بهنجار جبری یا فرم نرمال جبری ()، فرم نرمال ژگالکین () و بسط رید-مولر () ابزارهای نوشتن فرمولهای منطقی در یکی از ۳ فرم زیر هستند:
 کل فرمول به صورت مطلق درست یا غلط است
 ۰
 ۱
 یک یا چند متغیر با AND به صورت یک ترم درآمده باشند. یک یا چند ترم با XOR به صورت یک صورت بهنجار جبری درآمده باشند. استفاده از نقیض مجاز نمی‌باشد.
 a ⊕ b ⊕ ab ⊕ abc
 متشکل از علامت‌های استاندارد منطق گزاره‌ها
 
 فرم قبلی با ارزش درستی مطلق
 1 ⊕ a ⊕ b ⊕ ab ⊕ abc

فرمولهای نوشته شده به صورت صورت بهنجار جبری به نام صورت بهنجار ژگالکین و قطب مثبت بسط رید-مولر هم شناخته می‌شوند.

استفاده‌های معمول 
صورت بهنجار جبری یک صورت بهنجار متعارف () است.
صورت بهنجار در فرم نرم جبری بدین معناست که دو فرمول معادل به یک صورت بهنجار جبری تبدیل می‌شوند، به راحتی نشان داده می‌شود که آیا دو فرمول برای اثبات خودکار قضیه یکسان هستند یا خیر. برخلاف دیگر فرمهای نرمال، صورت بهنجار جبری می‌تواند نمایانگر لیست ساده‌ای از فهرست نام متغیرها باشد. همچنین صورت بهنجار اشتراکی و صورت بهنجار فصلی نیاز دارند تا اینکه متغیر نفی شده‌است یا خیر را ذخیره کنند. از آنجایی که صورت بهنجار منفی از رابطه هم‌ارزی به عنوان برابری استفاده نمی‌کند، لذا a ∨ ¬a و ۱ به عبارت یکسانی کاهش پیدا نمی‌کنند، حتی اگر فکر کنیم معادل هستند.

قرار دادن فرمول در صورت بهنجار جبری حتی باعث شناسایی راحت‌تر توابع خطی (که به عنوان مثال در ثبات تغییر بازخورد خطی () استفاده می‌شوند) می‌شود، همانند تابع خطی که جمع لیترال‌های تک است. همچنین خواص بازخورد غیرخطی انتقال ثبات‌ها می‌تواند از خواص اصلی تابع بازخورد در صورت بهنجار جبری استنباط شود.

انجام عملیات در صورت بهنجار جبری 
راه‌های ساده و مستقیمی برای انجام عملیات بولی استاندارد بر روی ورودی‌های صورت بهنجار جبری به منظور رسیدن به نتایج صورت بهنجار جبری وجود دارد.

XOR (یای انحصاری) به صورت مستقیم اعمال می‌شود:

NOT (نقیض) به xOR تبدیل می‌شود:

AND (عطف منطقی) از قانون توزیع‌پذیری تبعیت می‌کند:

OR (یای منطقی) از  (هرگاه هر دو عملوند ترم‌های مثبت داشته باشند) یا  (در بقیه موارد) استفاده می‌کند:

تبدیل به صورت بهنجار جبری 
هر متغیر در فرمول بشخصه به صورت صورت بهنجار جبری است، بنابراین تنها لازم است عملیات بولی همان‌طور که در بالا توضیح داده شده‌است اعمال شوند تا کل فرمول به صورت صورت بهنجار جبری درآید. به عنوان مثال:

تعریف مشابه 
صورت بهنجار جبری گاهی به روش مشابهی توصیف می‌شود:

به طوریکه  به‌طور کامل  را توصیف می‌کنند.

به دست آوردن صورت بهنجار جبری توابع بولی چند آرگومانی به صورت بازگشتی 
تنها چهار تابع با یک آرگومان موجود است:

برای نشان دادن یک تابع با آرگومان‌های متعدد می‌توان از برابری زیر استفاده کرد:

در واقع،
 اگر  آنگاه  و در نتیجه 
 اگر  آنگاه  و در نتیجه 

از آنجایی که  و  تعداد آرگومان‌های کمتری نسبت به  دارند، به این نتیجه می‌رسیم که با تکرار بازگشتی این پروسه در انتها به توابعی با یک آرگومان می‌رسیم. به عنوان مثال صورت بهنجار جبری  را بدست می‌آوریم:
 با توجه به رابطه بالا داریم 
 از آنجایی که  و 
 نتیجه می‌گیریم 
 و در انتها به صورت بهنجار جبری  می‌رسیم.

جستارهای وابسته 
 تابع بولی
 گراف منطقی
 چندجمله‌ای‌های ژگالکین
 صورت بهنجار نفی
 صورت بهنجار اشتراکی
 صورت بهنجار فصلی

منابع 

 ویکی‌پدیا انگلیسی

جبر بولی
فرم‌های نرمال (منطق)