Writing Down Boolean Algebra