در ، یا ( : )، ( : ) و ( : ) ابزارهای نوشتن فرمولهای منطقی در یکی از ۳ فرم زیر هستند:
 
 
 
 فرمولهای نوشته شده به صورت صورت بهنجار جبری به نام و قطب مثبت هم شناخته می‌شوند.
 صورت بهنجار جبری یک ( : ) است.
صورت بهنجار در فرم نرم جبری بدین معناست که دو فرمول معادل به یک صورت بهنجار جبری تبدیل می‌شوند، به راحتی نشان داده می‌شود که آیا دو فرمول برای اثبات خودکار قضیه یکسان هستند یا خیر. برخلاف دیگر فرمهای نرمال، صورت بهنجار جبری می‌تواند نمایانگر لیست ساده‌ای از فهرست نام متغیرها باشد. همچنین و نیاز دارند تا اینکه متغیر نفی شده‌است یا خیر را ذخیره کنند. از آنجایی که صورت بهنجار منفی از به عنوان برابری استفاده نمی‌کند، لذا a ∨ ¬a و ۱ به عبارت یکسانی کاهش پیدا نمی‌کنند، حتی اگر فکر کنیم معادل هستند.
 قرار دادن فرمول در صورت بهنجار جبری حتی باعث شناسایی راحت‌تر توابع خطی (که به عنوان مثال در ( : ) استفاده می‌شوند) می‌شود، همانند که جمع لیترال‌های تک است. همچنین خواص بازخورد غیرخطی انتقال ثبات‌ها می‌تواند از خواص اصلی تابع بازخورد در صورت بهنجار جبری استنباط شود.
 راه‌های ساده و مستقیمی برای انجام عملیات بولی استاندارد بر روی ورودی‌های صورت بهنجار جبری به منظور رسیدن به نتایج صورت بهنجار جبری وجود دارد.
 
 
XOR (یای انحصاری) به صورت مستقیم اعمال می‌شود:
 NOT (نقیض) به xOR تبدیل می‌شود:
 AND (عطف منطقی) از قانون تبعیت می‌کند:
 OR (یای منطقی) از (هرگاه هر دو عملوند ترم‌های مثبت داشته باشند) یا (در بقیه موارد) استفاده می‌کند:
 هر متغیر در فرمول بشخصه به صورت صورت بهنجار جبری است، بنابراین تنها لازم است عملیات بولی همان‌طور که در بالا توضیح داده شده‌است اعمال شوند تا کل فرمول به صورت صورت بهنجار جبری درآید. به عنوان مثال:
 صورت بهنجار جبری گاهی به روش مشابهی توصیف می‌شود:
 به طوریکه به‌طور کامل را توصیف می‌کنند.
 تنها چهار تابع با یک آرگومان موجود است:
 برای نشان دادن یک تابع با آرگومان‌های متعدد می‌توان از برابری زیر استفاده کرد:
 
 در واقع،
 
 از آنجایی که و تعداد آرگومان‌های کمتری نسبت به دارند، به این نتیجه می‌رسیم که با تکرار بازگشتی این پروسه در انتها به توابعی با یک آرگومان می‌رسیم. به عنوان مثال صورت بهنجار جبری را بدست می‌آوریم:
{"title": "صورت بهنجار جبری", "link": "https://fa.wikipedia.org//w/index.php?title=%D8%B5%D9%88%D8%B1%D8%AA_%D8%A8%D9%87%D9%86%D8%AC%D8%A7%D8%B1_%D8%AC%D8%A8%D8%B1%DB%8C&oldid=34513806", "language": "fa"}