در ، یک یا یک استاندارد (یا نرمال شده) از یک فرمول منطقی است که یک جداکننده عبارات عطفی است. از سوی دیگر به صورت و است که ان را به عنوان می‌شناسید. همچنین یک صورت بهنجار برای اثبات خودکار قضایا مفید است. یک فرمول منطقی در فرم دی‌اِن‌اف در نظر گرفته شده‌است اگر و تنها اگر به صورت یک فصل یاچند اتصال از یک یا چند عملگر باشد. اگر هر یک از متغیرهای دی‌اِن‌اف دقیقاً یک بار در هر عبارت باشند، فرمول دی‌اِن‌اف به‌طور کامل درصورت بهنجار فصلی است.
مانند صورت بهنجار ، تنها عملگرهای گزاره‌ای در , , , هستند. عملگر نات تنها می‌تواند به عنوان بخشی از عملگر استفاده شود به این معنی که فقط می‌تواند قبل از یک متغیر گزاره‌ای بیاید. برای مثال همه فرمول‌های زیر در فرم دی‌اِن‌اف است:
 
 
 
 
 بنابراین فرمول‌های زیر در فرم دی‌اِن‌اف نیستند
 — نات بیرونی‌ترین عملگر است
 — اُر درون اَند قرار گرفته است
 تبدیل یک فرمول به دی‌اِن‌اف شامل استفاده از معادله‌های منطقی مانند ، و است.
تمام فرمول‌های منطقی را می‌توان به شکل نرمال فصلی تبدیل کرد. با این حال در برخی موارد تبدیل به دی‌اِن‌اف می‌تواند به انفجار نمایی از فرمول منجر شود. به عنوان مثال فرمول منطقی زیر ۲ به توان n جمله دارد
 
 هر تابع بولی خاص را می‌توان بایک و تنها یک صورت بهنجار کامل فصلی، یکی از دوشکل متعارف، نشان داد. در زیر یک گرامر از صورت بهنجار دی‌اِن‌اف وجود دارد
 
 
 
 
 
 که در ان یک متغیر هر متغیری می‌تواند باشد
 فرم‌های نرمال اصلی
 
 در بعضی از سوالات از ما انتظار می‌رود که بتوانیم یک عبارت شرطی را برحسب پی‌دی‌اِن‌اف یا پی‌‌سی‌اِن‌اف بنویسیم که چندین راه برای این کار وجود دارد ولی اسان‌ترین راه کشیدن جدول به طریق زیر است:
 برای نوشتن عبارات شرطی به صورت فرم‌های نرمال اصلی ابتدا باید نوع فرم را مشخص کنیم
 
 حال فرض کنید قصد نوشتن صورت بهنجار فصلی اصلی (پی‌دی‌اِن‌اف) را داریم
در مرحله بعد تمام متغیرهای موجود را در جدولی وارد کرده و تمام حالات true و false بین آن‌ها را می‌نویسیم.
 حال درستی و نادرستی عبارت شرطی را بر اساس حالات مختلف pو q تعیین می‌کنیم.
در این مرحله فقط خانه‌هایی از جدول برای ما اهمیت دارد که مقدار عبارت شرطی برای آن‌ها true است.
به ستون اول و دوم که حاوی p و q هستند دقت می‌کنیم.
 
 دقت کنید که برای نوشتن پی‌‌سی‌اِن‌اف تمام حالات بالا عکس می‌شود.
برای درک بیشتر به تصاویر زیر دقت کنید
{"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_%D9%81%D8%B5%D9%84%DB%8C&oldid=31858479", "language": "fa"}