From Wikipedia, the free encyclopedia
در جبر بولی، هر تابع بولی را میتوان در، صورت بهنجار فصلی متعارف[1] (به انگلیسی: canonical disjunctive normal form) (فرم نرمال فصلی)[2] یا صورت متعارف مینترم (به انگلیسی: minterm canonical form) و دوگان صورت بهنجار عطفی متعارف (به انگلیسی: canonical conjunctive normal form) (فرم نرمال اشتراکی) یا صورت متعارف ماکسترم (به انگلیسی: maxterm canonical form) بیان کرد. سایر صورتهای متعارف شامل مجموع کامل مفاهیم اصلی یا صورت متعارف بلیک (و دوگان آن) و صورت بهنجار جبری هستند (به آنها ژگالکین یا رید-مولر نیز گفته میشود).
ترجمهٔ عنوان این مقاله دارای منبع نیست. ویرایشگران طبق سیاست تحقیق دستاول ممنوع نمیتوانند اصطلاحات زبانهای دیگر را بدون منبع ترجمه کنند و از طرف دیگر بر اساس شیوهنامه در اکثر مواقع نمیتوانند عنوان مقاله را با عنوان اصلی آن در الفباهای غیر فارسی و عربی ثبت کنند. |
مینترمها حاصلضربها نامیده میشوند چرا که آنها منطق «و» مجموعهٔ متغیرها هستند و ماکسترمها مجموعها نامیده میشوند چرا که آنها منطق «یا» از مجموعهٔ متغیرهای هستند. این مفاهیم به دلیل رابطه مکمل-متقارنشان که در قوانین دمورگان بیان شده، دوگان هستند.
دو شکل متعارف دوگان از هر تابع بولی یک «مجموع مینترمها» و «حاصلضرب ماکسترم» است. اصطلاح «مجموع حاصلضربها» (SoP یا SOP) بهطور گسترده برای «صورت متعارف» استفاده میشود که یک ترکیب فصلی (اُر) از حاصلضربها است. قوانین دمورگان برای «صورت متعارف» که ترکیب عطفی (اَند) مجموعها است، «حاصلضرب مجموع» (PoS یا POS) است. این صورتها میتواند برای سادهسازی این توابع مفید باشد، که در بهینهسازی فرمولهای بولی بهطور کلی و مدارهای دیجیتال بهطور ویژه از اهمیت بالایی برخوردار است.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.