صورت بهنجار عطفی

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