Update BooleanAlgebra.md