বুলিয়ান স্বতঃসিদ্ধ

প্রখ্যাত ইংরেজ গণিতবিদ জর্জ বুল (George Boole) ১৮৪৭ সালে তার প্রকাশিত প্রথম গ্রন্থ "The Mathematical Analysis of Logic" - এ সর্বপ্রথম বুলিয় বীজগণিত নিয়ে আলোচনা করেন। পরবর্তীতে ১৮৫৪ সালে গণিত ও যুক্তির মধ্যে সম্পর্ক নিয়ে তার "An Investigation of the Laws of Thought" গ্রন্থে বুলিয় বীজগণিত নিয়ে বিস্তারিত আলোচনা করেন। এতে মূলত সত্য এবং মিথ্যা এ দুই যুক্তি বা লজিকের উপর ভিত্তি করে আলোচনা করা হয়। বাইনারি সংখ্যা আবিষ্কৃত হওয়ার পর বুলিয় বীজগণিতের সত্য এবং মিথ্যাকে বাইনারি 1 ও0 দিয়ে পরিবর্তন করার মাধ্যমে কম্পিউটারের সকল গাণিতিক কাজ সম্পন্ন করা সম্ভব হয়েছে। জর্জ বুল প্রদত্ত যুক্তির উপর ভিত্তি করে গণিতের যে শাখা উন্মোচিত হয়, তাকে বুলিয়ান অ্যালজেবরা বলা হয়। বুলিয় বীজগণিতে শুধু বুলিয় যোগ এবং গুনের মাধ্যমে সকল হিসাব নিকাশ করা হয়। যোগ ও গুনের ক্ষেত্রে বুলিয়ান অ্যালজেবরা কতগুলো নিয়ম মেনে চলে। এ নিয়মগুলোকেই বুলিয়ান স্বতঃসিদ্ধ বলা হয় ।