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