You may well be familiar with Venn diagrams ... logic” – defending and extending it. Symbolic logic underpins modern computing, and Boolean logic is a key part of the design of modern computer ...