گزاره${\displaystyle A}$ را در صورت نرمال عطفی گوییم هرگاه به شکل${\displaystyle (A_{1,1}\vee ...\vee A_{1,i_n})\wedge ...\wedge (A_{n,1}\vee ...\vee A_{n,i_n})}$ باشد.و${\displaystyle A}$ را درصورت نرمال فصلی گوییم هرگاه به شکل${\displaystyle (A_{1,1}\wedge ...\wedge A_{1,i_n})\vee ...\vee (A_{n,1}\wedge ...\wedge A_{n,i_n})}$ باشد.

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

هر دو قضیه فوق با استقرا روی گزاره‌ها ثابت می‌شود.

• محمد اردشیر (۱۳۸۳)،منطق ریاضی، هرمس، ص. ۳۸،شابک ۹۶۴-۳۶۳-۲۲۹-۶

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