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