Concluyendo que formula_137 es un álgebra de boole.