صورت بهنجار فصلی

صورتی برای یک گزارۀ حساب گزاره‏ها، به شکل ترکیبی فصلی از ترکیب‏های عطفی که در آنها هر عطف‏وند یک فرمول اتمی یا نقیض آن است