صورت بهنجار فصلی

فارسی

حوزه: [ریاضی]

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

منابع

«صورت بهنجار فصلی» هم‌ارزِ «disjunctive normal form»؛ منبع: گروه واژه‌گزینی و زیر نظر حسن حبیبی، دفتر پنجم، فرهنگ واژه‌های مصوب فرهنگستان، تهران: انتشارات فرهنگستان زبان و ادب فارسی، شابک ‎۹۷۸-۹۶۴-۷۵۳۱-۷۶-۴