Boolean algebra; a self-instructional programed manual