5. Boolean Algebra Basic Theorems - si-manual