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

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

جزو نارمل فارم (DNF) بولین ریاضی میں ایک منطقی فارمولا کو معمول پر لانا ہے۔ دوسرے لفظوں میں ، یہ کہا جاتا ہے کہ اگر یہ ہر متغیر کے ساتھ مل جانے والی ترکیب کی شکل ہے اور اس کی نفی ہر ایک مجلس میں ایک بار موجود ہوتی ہے تو ، ایک منطقی فارمولا غیر معمولی معمولی شکل میں کہا جاتا ہے۔ تمام غیر منقطع معمول کی شکل غیر انوکھی ہوتی ہے ، کیونکہ ایک ہی تجویز کے لئے تمام ناپائستہ معمولات باہمی مساوی ہیں۔

غیر منقطع معمول کی شکل وسیع پیمانے پر ایسے علاقوں میں استعمال ہوتی ہے جیسے خودکار نظریے کو ثابت کرنا۔

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

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

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