El único axioma que el álgebra booleana requiere es: