مشترکہ نارمل فارم (CNF)

مصنف: Monica Porter
تخلیق کی تاریخ: 21 مارچ 2021
تازہ کاری کی تاریخ: 27 جون 2024
Anonim
ٹروتھ ٹیبل سے ڈی این ایف یا سی این ایف تک
ویڈیو: ٹروتھ ٹیبل سے ڈی این ایف یا سی این ایف تک

مواد

تعریف - کنجیکٹیو نارمل فارم (CNF) کا کیا مطلب ہے؟

اجتماعی نارمل شکل (CNF) بولین منطق کا ایک نقطہ نظر ہے جو کسی اور اور OR کے ساتھ شقوں کے ملحقہ فارمولوں کا اظہار کرتا ہے۔ ہر شق ایک جوڑا ، یا AND کے ذریعہ منسلک ہوتی ہے ، وہ یا تو لغوی ہونی چاہئے یا اس میں کوئی تزئین ، یا OR آپریٹر ہونا ضروری ہے۔ CNF خودکار نظریے کو ثابت کرنے کے لئے مفید ہے۔


مائیکروسافٹ ازور اور مائیکروسافٹ کلاؤڈ کا تعارف | اس گائیڈ کے دوران ، آپ کو معلوم ہوگا کہ کلاؤڈ کمپیوٹنگ کیا ہے اور مائیکروسافٹ ایذور آپ کو بادل سے ہجرت کرنے اور اپنے کاروبار کو چلانے میں کس طرح مدد کرسکتا ہے۔

ٹیکوپیڈیا نے کنجیکٹیو نارمل فارم (CNF) کی وضاحت کی

اجتماعی طور پر عام شکل میں ، بولین منطق میں بیانات شقوں کو اختتام کی شقوں کے ساتھ جوڑتے ہیں۔ دوسرے لفظوں میں ، ایک بیان او آرز کا ایک سلسلہ ہے جس کا تعلق ANDs کے ذریعہ ہے۔

مثال کے طور پر:

(A یا B) اور (C یا D)

(A یا B) اور (C یا B نہیں)

یہ شق بھی لغوی ہوسکتی ہیں۔

A یا B

A اور B

CNF میں لٹریچرز کو لغوی شقوں اور متفقہ طور پر دیکھا جاتا ہے جس میں ایک شق ہوتا ہے۔ ممکن ہے کہ ان بیانات کو CNF میں تبدیل کیا جا that جو کسی اور شکل میں لکھے گئے ہوں ، جیسے ناکارہ معمول کی شکل۔