صورت بهنجار عطفی

فارسی

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

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

منابع

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