یعنی چه
اصطلاحی در منطق ریاضی، حساب گزارهها و جبر بولی است. به بیانی ساده، فرمولی است که از ترکیب چند عبارت بزرگتر با عملگر «و» (عطف) ساخته شده، در حالی که درون هر کدام از آن عبارات بزرگتر، فقط متغیرها یا نقیض آنها با عملگر «یا» (فصل) به هم متصل شدهاند.
تلفظ
این عبارت به صورت «صُورَتِ بِهنَجارِ عَطفی» (ṣūrat-e behnajār-e 'atfī) تلفظ میشود.
در جدول
پاسخ دقیق در جدول برای این مفهوم منطقی با ۱۴ حرف، «صورت بهنجار عطفی» است.
به انگلیسی
معادل دقیق انگلیسی آن Conjunctive Normal Form است که به اختصار CNF نامیده میشود.
به فارسی
معادلهای فارسی دیگر آن شامل «فرم نرمال عطفی»، «صورت بهنجار استاندارد عطفی»، «فرم نرمال اشتراکی» و «حاصلضربِ مجموعها» است.
نماد چیست
در علم کامپیوتر و منطق با اختصار CNF نمایش داده میشود. ساختار نمادین آن در منطق ریاضی به صورت عطف پرانتزهای فصلی مانند $(A \lor B) \land (C \lor \neg D)$ یا به شکل کلی $$\bigwedge_{i} \left( \bigvee_{j} l_{ij} \right)$$ است.
جمعبندی و توضیح کامل صورت بهنجار عطفی
«صورت بهنجار عطفی» که در زبان انگلیسی به آن Conjunctive Normal Form (CNF) میگویند، یکی از مفاهیم پایهای و بسیار کاربردی در منطق ریاضی، جبر بولی و علوم رایانه است. این اصطلاح مصوب فرهنگستان زبان و ادب فارسی است و به ساختاری از گزارههای منطقی اشاره دارد که در آن کل عبارت از پیوند چند پرانتز توسط عملگر «و» (عطف) تشکیل شده است، در حالی که درون هر پرانتز، متغیرها یا نقیض آنها فقط با عملگر «یا» (فصل) به یکدیگر متصل شدهاند.
این فرم استاندارد در طراحی مدارهای دیجیتال، هوش مصنوعی، و فرآیندهای اثبات خودکار قضایا اهمیت ویژهای دارد، زیرا بررسی سازگاری و حل مسائل منطقی را برای رایانهها سادهتر میکند. ساختار متضاد این اصطلاح، «صورت بهنجار فصلی» (DNF) نام دارد که برعکس عمل میکند.
واژههای سازنده این اصطلاح ریشه در زبانهای فارسی و عربی دارند؛ «بهنجار» معادل فارسی کلمه نرمال و استاندارد است و «عطف» به معنی پیوند دادن و معادل عملگر AND منطقی است. این ترکیب اصطلاحی کاملاً معاصر و علمی است و در متون کهن یا قرآنی پیشینهای ندارد.