Update Boolean Algebra document