Luego formula_11 es álgebra de Boole.