صورت نرمال

گزاره A {\displaystyle A} را در صورت نرمال عطفی گوییم هرگاه به شکل ( A 1 , 1 ∨ . . . ∨ A 1 , i n ) ∧ . . . ∧ ( A n , 1 ∨ . . . ∨ A n , i n ) {\displaystyle (A_{1,1}\lor ...\lor A_{1,i_{n}})\land ...\land (A_{n,1}\lor ...\lor A_{n,i_{n}})} باشد. و A {\displaystyle A} را در صورت نرمال فصلی گوییم هرگاه به شکل ( A 1 , 1 ∧ . . . ∧ A 1 , i n ) ∨ . . . ∨ ( A n , 1 ∧ . . . ∧ A n , i n ) {\displaystyle (A_{1,1}\land ...\land A_{1,i_{n}})\lor ...\lor (A_{n,1}\land ...\land A_{n,i_{n}})} باشد.