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