صورت نرمال

گزاره  را در صورت نرمال عطفی گوییم هرگاه به شکل 
 باشد.
و  را در صورت نرمال فصلی گوییم هرگاه به شکل
 باشد.

قضیه 
 هر گزاره با گزاره‌ای در صورت نرمال عطفی با همان اتم‌ها معادل است.
 هر گزاره با گزاره‌ای در صورت نرمال فصلی با همان اتم‌ها معادل است.
هر دو قضیه فوق با استقرا روی گزاره‌ها ثابت می‌شود.

منابع 

 

جبر
مفهوم‌ها در منطق
منطق ریاضی
واژگان ریاضیات