מערכות ספרתיות עם ליביו - אלגברה בוליאנית חלק 1, הגדרות בסיסיות