Applied Boolean algebra : an elementary introduction