Dokumen ini membahas aljabar boolean, dengan dua operator biner (+ dan ⋅) dan satu operator uner ('). Aljabar boolean dua-nilai dijelaskan serta postulat Huntington diperlihatkan, termasuk cara mengevaluasi dan memanipulasi ekspresi boolean. Hukum-hukum aljabar boolean juga dirangkum, mencakup hukum identitas, komutatif, dan hukum De Morgan.