Conjunt de lleis i postulats que permeten fer operacions lògiques amb les variables binàries.