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