बूलीय बीजगणित (तर्कशास्त्र)

विकिपीडिया, एक मुक्त ज्ञानकोष से

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

[संपादित करें] बीलीय बीजगणित के गुण

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

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

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

$a \lor (b \lor c) = (a \lor b) \lor c$	$a \land (b \land c) = (a \land b) \land c$	associativity
$a \lor b = b \lor a$	$a \land b = b \land a$	commutativity
$a \lor (a \land b) = a$	$a \land (a \lor b) = a$	absorption
$a \lor (b \land c) = (a \lor b) \land (a \lor c)$	$a \land (b \lor c) = (a \land b) \lor (a \land c)$	distributivity
$a \lor \lnot a = 1$	$a \land \lnot a = 0$	complements
$a \lor a = a$	$a \land a = a$	idempotency
$a \lor 0 = a$	$a \land 1 = a$	boundedness
$a \lor 1 = 1$	$a \land 0 = 0$	boundedness
$\lnot 0 = 1$	$\lnot 1 = 0$	0 and 1 are complements
$\lnot (a \lor b) = \lnot a \land \lnot b$	$\lnot (a \land b) = \lnot a \lor \lnot b$	de Morgan's laws
$\lnot \lnot a = a$		involution

[संपादित करें] इन्हें भी देखें

तर्क द्वार (logic gates)
वेन आरेख (Venn diagram)

[संपादित करें] बाहरी सूत्र

The Calculus of Logic, by George Boole, Cambridge and Dublin Mathematical Journal Vol. III (1848), pp. 183-98.
Logical Formula Evaluator (for Windows), a software which calculates all possible values of a logical formula
How Stuff Works - Boolean Logic
Maiki & Boaz BDD-PROJECT, a Web Application for BDD reduction and visualization.

"http://hi.wikipedia.org/wiki/%E0%A4%AC%E0%A5%82%E0%A4%B2%E0%A5%80%E0%A4%AF_%E0%A4%AC%E0%A5%80%E0%A4%9C%E0%A4%97%E0%A4%A3%E0%A4%BF%E0%A4%A4_%28%E0%A4%A4%E0%A4%B0%E0%A5%8D%E0%A4%95%E0%A4%B6%E0%A4%BE%E0%A4%B8%E0%A5%8D%E0%A4%A4%E0%A5%8D%E0%A4%B0%29" से लिया गया