24 ص
فرمت پی دی اف
در سال ١٨۵۴ جورج بول روش اصولی برای منطق معرفی نمود و بدین طریق یک
سیستم جبری را پایه ریزی کرد که امروز جبر بول نامیده می شود . برای تعریف
مستدل جبر بول ، ما اصول فرموله شده بوسیله هانتینگتون در ١٩٠۴ را به کار
خواهیم برد . این اصول برای تعریف جبر بول منحصر به فرد نیستند و اصول دیگری نیز
در آن بکار رفته اند .
همراه با دو عملگر (+) و (.) B جبر بول یک ساختار جبری است که با عناصر مجموعه
تعریف شده و دارای اصول زیر ( اصول هانتینگتون ) باشد :
مجموعه نسبت به عملگر (.) بسته باشد . ( a) -١
مجموعه نسبت به عملگرد (.) بسته باشد . ( b)
عنصر خنثی در مجموعه برای (+) برابر با ٠ باشد .
جبر بول