کنجیکٹیو نارمل فارم (cnf) کیا ہے؟ - ٹیکپوپیڈیا سے تعریف

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

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

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

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

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

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

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

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

A یا B

A اور B

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