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 ...