Boolean Algebra Basic Theorems And Properties