The technical report, ISA-TR5.1.01-ISA-TR77.40.01-2012, Functional Diagram Usage, expands upon and illustrates usage of function block symbols and functions, and prepares examples in development of ...

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.