PROMPTED by the thought that a computer for the Boolean algebra should be of value, an electronic Venn diagram analogue computer (abbreviated to ‘VENDAC’ locally) has been devised. The ...

Venn used the diagrams to prove a form of logical statement known as a categorical syllogism. This can be used to model reasoning. Here’s an example: “All computers need power.