صورت نرمال

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