lógico sencillo, empleando el álgebra de Boole