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