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