Boolean Logic In Computer Science