Así formula_80 es un álgebra de Boole al cumplir los siguientes axiomas: