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