Create BooleanAlgebra.md