disjunctive normal form

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