Boolean Algebra Terminologies