Adding Binary Numbers - Discrete Mathematics