هر تابع منطقی را می‌توان به فرم‌های مختلفی بیان نمود. برای آنکه بتوان دو تابع منطقی را با هم مقایسه نمود از فرم‌های نرمال استفاده می‌کنیم. انواع فرم‌های نرم عبارتند از: 
 اکنون هدف، بررسی فرم نرمال عطفی (CNF) است.
 (به : ) یا در به ترکیبی از (در منطق) گویند به‌طوری‌که جمله تشکیل شده از تفکیک یا باشد. (لیترال:یک متغیر بولی یا مکمل آن می‌باشد) از سوی دیگر می‌توان گفت به صورت and و orهایی است که به شکل ترکیب شداند.
 
 تنها عملگرهای گزاره‌ای در این فرم or, and و not هستند. عملگر not تنها می‌تواند به عنوان بخشی از لیترال استفاده شود. به این معنی که فقط می‌تواند قبل از یک متغیر گزاره‌ای بیاید.
 همه فرمول‌های زیر در فرم CNF هستند:
 
 
 
 در ضمن دو فرمول آخر در فرم DNF هم هستند.
 فرمول‌های زیر در فرم CNF نیستند:
 
 
 هر فرمولی می‌تواندهم ارز با یک فرمول دیگر در فرم CNF باشد.
به‌طور مثال برای سه مثال بالا، به ترتیب سه فرمول زیر در فرم CNF، هم ارز با آن‌ها وجودد دارد:
 
 
 
 گام اول: جایگزین کردن علامت‌های ( ) , ( )به صورت زیر:
 
 گام دوم: استفاده از قانون دمورگان (برای انتقال نقیض( ) به داخل پرانتزها)
 
 
 گام سوم :استفاده از قانون توزیع‌پذیری (پخش کردن or روی andها):
 به مثال توجه کنید:CNF عبارت روبه رو را به دست می‌آوریم. 
 
 
 استفاده از جدول درستی:(که البته تری است)
 به مثال روبه رو توجه کنید. 
 و 
 
 
 
 
 
 مشارکت‌کنندگان ویکی‌پدیا. « ». در .
{"title": "فرم نرمال اشتراکی", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%81%D8%B1%D9%85_%D9%86%D8%B1%D9%85%D8%A7%D9%84_%D8%A7%D8%B4%D8%AA%D8%B1%D8%A7%DA%A9%DB%8C&oldid=34550148", "language": "fa"}