విషయ సూచిక:
- నిర్వచనం - డిస్జక్టివ్ నార్మల్ ఫారం (డిఎన్ఎఫ్) అంటే ఏమిటి?
- టెకోపీడియా డిస్జక్టివ్ నార్మల్ ఫారం (డిఎన్ఎఫ్) గురించి వివరిస్తుంది
నిర్వచనం - డిస్జక్టివ్ నార్మల్ ఫారం (డిఎన్ఎఫ్) అంటే ఏమిటి?
బూలియన్ గణితంలో తార్కిక సూత్రం యొక్క సాధారణీకరణ డిస్జక్టివ్ నార్మల్ ఫారం (DNF). మరో మాటలో చెప్పాలంటే, తార్కిక సూత్రం ప్రతి వేరియబుల్తో సంయోగం యొక్క విచ్ఛేదనం మరియు దాని తిరస్కరణ ప్రతి సంయోగంలో ఒకసారి ఉంటే అది సాధారణ సాధారణ రూపంలో ఉంటుంది. అన్ని అసంకల్పిత సాధారణ రూపాలు ప్రత్యేకమైనవి కావు, ఎందుకంటే ఒకే ప్రతిపాదనకు సంబంధించిన అన్ని సాధారణ రూపాలు పరస్పరం సమానంగా ఉంటాయి.
స్వయంచాలక సిద్ధాంతం రుజువు వంటి ప్రాంతాలలో విచ్ఛిన్నమైన సాధారణ రూపం విస్తృతంగా ఉపయోగించబడుతుంది.
టెకోపీడియా డిస్జక్టివ్ నార్మల్ ఫారం (డిఎన్ఎఫ్) గురించి వివరిస్తుంది
ఒకటి లేదా అంతకంటే ఎక్కువ సాహిత్యకారులలో ఒకటి లేదా అంతకంటే ఎక్కువ సంయోగాల యొక్క ప్రత్యామ్నాయ ఉనికి ఉంటే మరియు తార్కిక సూత్రం అసంబద్ధమైన సాధారణ రూపంలో ఉంటుంది. ప్రమేయం ఉన్న అన్ని వేరియబుల్స్ ప్రతి నిబంధనలో ఒకసారి మాత్రమే ప్రాతినిధ్యం వహిస్తే ఒక సూత్రం పూర్తి అసంబద్ధమైన సాధారణ రూపంలో పరిగణించబడుతుంది. కంజుక్టివ్ సాధారణ రూపం మాదిరిగానే, అస్పష్ట సాధారణ రూపంలో ప్రతిపాదన ఆపరేటర్లు ఒకే విధంగా ఉంటారు: AND, OR మరియు NOT.
అన్ని తార్కిక సూత్రాలను సమానమైన సాధారణ సాధారణ రూపంగా మార్చవచ్చు. ఏదేమైనా, కొన్ని సందర్భాల్లో, తార్కిక ఫంక్షన్ యొక్క ఎక్స్పోనెన్షియల్ పేలుడు విచ్ఛిన్నమైన సాధారణ రూపంలోకి మార్చడం వలన సాధ్యమవుతుంది. ఇంకొక ముఖ్యమైన విషయం ఏమిటంటే, ఏదైనా ప్రత్యేకమైన బూలియన్ ఫంక్షన్ను ఒకటి మరియు ప్రత్యేకమైన పూర్తి అసంబద్ధమైన సాధారణ రూపం ద్వారా మాత్రమే సూచించవచ్చు. సత్య పట్టిక పద్ధతి, సత్య వృక్షాలు లేదా తార్కిక సమానత్వాల పట్టిక వంటి పద్ధతుల సహాయంతో, తార్కిక సూత్రాల కోసం సాధారణ సాధారణ రూపాన్ని సృష్టించవచ్చు. గణన సంక్లిష్టత అధ్యయనంలో K-DNF, విచ్ఛిన్నమైన సాధారణ రూపం యొక్క వైవిధ్యం విస్తృతంగా ఉపయోగించబడుతుంది మరియు ప్రాచుర్యం పొందింది.
