چکيده
پروژه حاضر در راستاي نزديك شدن به تلاش هاي بي شائبه متخصصان در زمينه هاي مختلف و چگونگي ساخت اوليه كامپيوتر ها تهيه گرديده است . استفاده و ذخيره سازي اطلاعات بدون نياز به كاغذ و قلم ، همچنين استفاده از برنامه هاي متعدد آموزشي ، سرگرمي و ... نتيجه سال ها زحمات و تلاش متخصصان بوده است كه پايه هاي طرح ريزي آن جبر بول بوده است . در بخش اول كه در موردمنطق و جدول ارزش است ، با شرح زندگي جورج بول مي پردازد. سپس با ذكر مقدمه اي كوتاه درباره كامپيوتر، به توضيح عناويني چون تركيب عطفي ، تركيب فصلي ، نفي ، تركيب منطقي و جدول ارزش آن ، گزاره هميشه درست و گزاره هميشه نارست ، هم ارزي منطقي ، جبر گزاره ها، قانون هاي جبر گزاره ها و تركيب هاي شرطي و دو شرطي مي پردازد. بخش دوم تحت عنوان جبر بول ، مسائلي چون جبر بول ، قانون هاي تعويض پذيري، قانون هاي توزيع پذيري، قانون هاي هماني ، دو مفهوم جبري نماد، رابطه هماني ، ويژگي هاي رابطه هماني ، روش هاي اثبات هماني دو عبارت جبري، قانون هاي متمم ، دو گاني ، قضيه هاي بنيادي، قانون هاي خود تواني ، اثبات قانون هاي خود تواني ، قانون هاي كرانداري، اثبات قانون هاي كرانداري، قانون هاي جذب ، اثبات قانون هاي جذب ، قانون هاي شركت هاي پذيري، قانون يكتايي متمم ، اثبات قانون يكتايي متمم ، قانون برگشت ، اثبات قانون برگشت ، قانون هاي دمرگان ، اثبات قانون هاي دمرگان ، ترتيب و جبر بول ، عبارت هاي بولي ، مجموع حاصل ضرب ها، كمين جمله ، چگونه مي توان هر عبارت بولي را به كمين جمله تبديل كرد را توضيح مي دهد. و بخش آخر نيز دريچه هاي منطقي ، دريچه RO، دريچه DNA، دريچه TON، مدارهاي RON,DNAN, ROXو مدارهاي منطقي را توضيح مي دهد.
