बूलियन डोमेन

From Vigyanwiki

गणित और सार बीजगणित में, बूलियन डोमेन सेट (गणित) है जिसमें ठीक दो तत्व होते हैं जिनकी व्याख्याओं में 'गलत' और 'सत्य' शामिल हैं। तर्क, गणित और सैद्धांतिक कंप्यूटर विज्ञान में, बूलियन डोमेन को आमतौर पर {0,-1} के रूप में लिखा जाता है,[1][2][3][4][5]या [6][7]

बीजगणितीय संरचना जो स्वाभाविक रूप से बूलियन डोमेन पर बनती है, वह दो-तत्व बूलियन बीजगणित है। बंधे हुए जाली की श्रेणी (गणित) में प्रारंभिक वस्तु बूलियन डोमेन है।

कंप्यूटर विज्ञान में, बूलियन चर चर (प्रोग्रामिंग) है जो कुछ बूलियन डोमेन में मान लेता है। कुछ प्रोग्रामिंग भाषाओं में बूलियन डोमेन के तत्वों के लिए आरक्षित शब्द या प्रतीक होते हैं, उदाहरण के लिए false और true. हालाँकि, सी (प्रोग्रामिंग भाषा) में सख्त अर्थों में बूलियन डेटाटाइप नहीं है। C (प्रोग्रामिंग लैंग्वेज) या BASIC में, उदाहरण के लिए, असत्यता को संख्या 0 द्वारा दर्शाया जाता है और सत्य को संख्या 1 या -1 द्वारा दर्शाया जाता है, और सभी चर जो इन मानों को ले सकते हैं, वे कोई अन्य संख्यात्मक मान भी ले सकते हैं।

सामान्यीकरण

बूलियन डोमेन {0, 1} को इकाई अंतराल द्वारा प्रतिस्थापित किया जा सकता है [0,1], जिस स्थिति में केवल मान 0 या 1 लेने के बजाय, 0 और 1 के बीच और सहित कोई भी मान ग्रहण किया जा सकता है। बीजगणितीय रूप से, निषेध (NOT) को से प्रतिस्थापित किया जाता है संयुग्मन (AND) को गुणा से बदल दिया जाता है (), और संयोजन (OR) को डी मॉर्गन के कानून के माध्यम से परिभाषित किया जाता है .

तार्किक सत्य मूल्य के रूप में इन मूल्यों की व्याख्या करने से बहु-मूल्यवान तर्क उत्पन्न होता है, जो फजी लॉजिक और संभाव्य तर्क का आधार बनता है। इन व्याख्याओं में, मूल्य की सत्यता की डिग्री के रूप में व्याख्या की जाती है - प्रस्ताव किस हद तक सत्य है, या संभावना है कि प्रस्ताव सत्य है।

यह भी देखें

संदर्भ

  1. Dirk van Dalen, Logic and Structure. Springer (2004), page 15.
  2. David Makinson, Sets, Logic and Maths for Computing. Springer (2008), page 13.
  3. George S. Boolos and Richard C. Jeffrey, Computability and Logic. Cambridge University Press (1980), page 99.
  4. Elliott Mendelson, Introduction to Mathematical Logic (4th. ed.). Chapman & Hall/CRC (1997), page 11.
  5. Eric C. R. Hehner, A Practical Theory of Programming. Springer (1993, 2010), page 3.
  6. Parberry, Ian (1994). Circuit Complexity and Neural Networks. MIT Press. pp. 65. ISBN 978-0-262-16148-0.
  7. Cortadella, Jordi; et al. (2002). Logic Synthesis for Asynchronous Controllers and Interfaces. Springer Science & Business Media. p. 73. ISBN 978-3-540-43152-7.


अग्रिम पठन