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