Introduction of Boolean algebra