صورت نرمال

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

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

 منابع 



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