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