Venn used the diagrams to prove a form of logical statement ... and Boolean logic is a key part of the design of modern computer systems – making his work relevant today. Venn’s work was ...