Luego formula_80 es álgebra de Boole.