3 . 1 . 1 פעולות בסיסיות העקרונות המתמטיים שעליהם מבוססת פעולתן של מערכות ספרתיות ( וביניהן המחשב ) ידועים בשם אלגברה של מיתוג , והיא מהווה מקרה פרטי של תחום רחב יותר במתמטיקה , המכונה אלגברה בוליאניונ . * באלגברה של המיתוג דנים בפעולות על משתנים , היכולים לקבל אחד משני ערכים בלבד : 0 ו . 1- מבחינה זו , קיים דמיון רב בין האלגברה של המיתוג לבין תחשיב הפסוקים , שבו יכולים הפסוקים לקבל את הערך אמת ( T ) " או שקר ( F ) " בלבד . במהלך פרק זה ניווכח שקיים דמיון בין שני התחומים שהזכרנו , גם באשר לפעולות על המשתנים או בין הפסוקים . הסיבה לדמיון נעוצה בכך שתחשיב הפסוקים מהווה מקרה פרטי של האלגברה הבוליאנית . במקרים רבים משתמשים בשם אלגברה בוליאנית גם כאשר מתכוונים ל"אלגברה של המיתוג" . באלגברה של המיתוג מניחים שקיימים הסמלים 0 ו1- וכן קיימות שלוש הפעולות . NOT , OR , AND פעולות אלה נקראות פעולות בוליאניות .
אל הספר