If you’re ever in a moment of conflict, pull out a Venn diagram ... sure to hear the phrase “Boolean algebra,” which refers to the machine’s underlying logic. It was formulated by Boole ...

Venn used his diagrams to illustrate and explore such “symbolic logic” – defending and extending it. Symbolic logic underpins modern computing, and Boolean logic is a key part of the design ...

“We use two and three-set Venn diagrams for working out simple logical puzzles,” Cameron says. “Beyond that, I don’t think anyone but the most hardcore geometer would use a Venn diagram.