Este documento presenta conceptos básicos del álgebra de Boole, incluyendo: 1) variables booleanas que pueden tomar valores 0 o 1, 2) operaciones básicas como adición booleana OR, multiplicación booleana AND y negación NOT, 3) postulados y teoremas como conmutatividad, asociatividad, distribución y de Morgan. El álgebra de Boole se usa para expresar formalmente comportamientos de sistemas como funciones booleanas.