imported>InternetArchiveBot: Rescuing 4 sources and tagging 0 as dead.) #IABot (v2.0.1

2020-06-15T07:37:11Z

Rescuing 4 sources and tagging 0 as dead.) #IABot (v2.0.1

नया पृष्ठ

'''बूलीय बीजगणित''' (बूलीयन अल्जब्रा) या '''बूली का तर्कशास्त्र''', तार्किक ऑपरेशन का एक सम्पूर्ण तन्त्र है। इसे सबसे पहले [[जॉर्ज बूल|जॉज बूली]] ने उन्नीसवीं शदी के मध्य में बीजगणितीय तर्क के रूप में प्रस्तुत किया। बहुत दिनो तक इस पर लोगों का ध्यान नहीं गया और इसे महत्व नहीं दिया गया। इसके बहुत दिनों के बाद सन १९३८ में '''क्लॉड शैनन''' ने प्रदर्शित किया कि [[रिले]]-युक्त [[विद्युत परिपथ|परिपथ]] का कार्य बूली के तर्क पर आधारित हैं। एक बार जब इसका प्रयोग [[अंकीय इलेक्ट्रॉनिकी|डिजिटल एलेक्ट्रानिक]] परिपथों के डिजाइन एवं सरलीकरण में होने लगा तो क्रान्ति ही आ गयी। आज बूली का बीजगणित [[अंकीय इलेक्ट्रॉनिकी|डिजिटल इलेक्ट्रॉनिक्स]] का आधार बन गया है तथा [[इलेक्ट्रॉनिकी|इलेक्ट्रानिकी]], [[कंप्यूटर|संगणक]] का हार्डवेयर तथा साफ्टवेयर, डेटाबेस, खोजी-यंत्र (सर्च-इंजन) एवं अन्य तार्किक डिजाइनों में अत्यन्त उपयोगी है।

== बूलीय बीजगणित के गुण ==
यहां द्विक औंपरेशन (बाइनरी ऑपरेशन्) के लिये दो प्रतीक परिभाषित किये गये हैं।

<math>\land / \cap</math> (तार्किक AND/set intersection) and <math>\lor / \cup</math> (तार्किक OR/set union)। इसी प्रकार एकाकी ऑपरेशन (unary operation) के लिये <math>\lnot</math> / ~ (तार्किक NOT/set complement) को परिभाषित किया गया है। इसके अलावा '''0''' (तार्किक '''असत्य'''/रिक्त समुच्चय, the empty set) तथा '''1''' (तार्किक '''सत्य'''/ the universal set).

नीचे वर्णित गुण बूली के तर्कशास्त्र एवं [[समुच्चय सिद्धान्त]] दोनो पर ही लागू होते हैं, किन्तु सुविधा के लिये केवल बूलीय तर्कशास्त्र के संकेतों का ही प्रयोग किया गया है।
[[चित्र:Baops.gif|center|thumb|550px|बूलीय संक्रियाओं के विभिन्न प्रकार के निरूपण ; <br>'''संकेत''' : <math>\land</math> '''=''' तार्किक तार्किक AND ; <math>\lor</math> '''=''' तार्किक OR ; <math>\lnot</math> '''=''' तार्किक NOT]]

'''तत्समक अवयव''' (Element of Identity)
::<math>0+A=A \,\!</math>
::<math>1\cdot A=A</math>

'''क्रमविनिमेयता का गुण''' (Commutative property)
::<math>A + B= B + A \,\!</math>
::<math>A \cdot B=B\cdot A</math>

'''साहचर्य गुण''' (Associative property)
::<math>A+(B+C)=(A+B)+C=A+B+C \,\!</math>
::<math>A \cdot (B\cdot C)=(A \cdot B) \cdot C=A \cdot B \cdot C \,\!</math>

'''वितरण नियम''' (Distributive law)
::<math>A \cdot (B+C)=A\cdot B+A\cdot C</math>
::<math>A+(B \cdot C)=(A + B) \cdot (A + C)</math>

'''अन्य गुण'''
*<math>1+A=1 \,\!</math>
*<math>0\cdot A=0</math>
*<math>A + A= A \,\!</math>
*<math>A\cdot \; A= A</math>
*<math>A+ \overline{A} \;=1</math>
*<math>A\cdot \;\overline{A} \;=0</math>
*<math>A+(A \cdot B)=A</math>
*<math>A \cdot (A + B)=A</math>
*<math>A+(\overline{A} \cdot B)=A+B</math>
*<math>A \cdot (\overline{A} + B)=A \cdot B</math>

'''डी मॉर्गन का नियम'''
*<math>\overline{(A+B)} \;= \overline{A} \;\cdot \;\overline{B} \; </math>
*<math>\overline{(A\cdot \;B)} \;= \overline{A} \;+\overline{B} \; </math>

'''गैर-आधारभूत संक्रियाएँ : XOR, XNOR तथा IMPLIES'''

*'''XOR''':
:<math>A \oplus B= \overline{A} \;\cdot \;B +\overline{B} \;\cdot \;A </math>

*'''XNOR''':
:<math>A \odot B=A \cdot \; B +\overline{B} \; \cdot \; \overline{A} \; </math>

*'''IMPLIES''':
:<math>A \rightarrow \; B = \overline{A} \; + B \,\!</math>

== इन्हें भी देखें ==
* [[लॉजिक गेट|तर्क द्वार]] (logic gates)
* [[वेन आरेख]] (Venn diagram)

== बाहरी कड़ियाँ ==
* [https://web.archive.org/web/20080430040155/http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html The Calculus of Logic], by George Boole, Cambridge and Dublin Mathematical Journal Vol. III (1848), pp. 183–98.
* [https://web.archive.org/web/20080225072100/http://sourceforge.net/projects/logicaleval/ Logical Formula Evaluator] (for Windows), a software which calculates all possible values of a logical formula
* [https://web.archive.org/web/20110412132134/http://computer.howstuffworks.com/boolean.htm How Stuff Works - Boolean Logic]
* Maiki & Boaz [https://web.archive.org/web/20120617185252/http://bdd-project.com/ BDD-PROJECT], a Web Application for BDD reduction and visualization.

[[श्रेणी:तर्कशास्त्र]]
[[श्रेणी:गणित]]
[[श्रेणी:बूलीय बीजगणित|*]]
[[श्रेणी:अंकगणितीय तर्क]]

बूलीय बीजगणित (तर्कशास्त्र) - अवतरण इतिहास

imported>InternetArchiveBot: Rescuing 4 sources and tagging 0 as dead.) #IABot (v2.0.1