El documento habla sobre el álgebra de Boole, la cual permite solo dos estados en un circuito lógico como Verdadero/Falso o 1/0. Al formular expresiones matemáticas para circuitos lógicos es importante conocer las reglas del álgebra de Boole para expresar y simplificar enunciados binarios. Una tabla de verdad muestra el valor de verdad de una proposición compuesta para cada combinación posible de valores de verdad.