Venn diagrams have helped the development of logic and computing. Home ... Symbolic logic underpins modern computing, and Boolean logic is a key part of the design of modern computer systems ...