Boolean Logic

The logical foundation that made computer science and AI possible.