אלגברה בוליאנית, CNF,DNF, מערכת פעולות שלמה, קרנו, מודל ספרתי