Johnston diagrams, which look similar to Euler or Venn diagram illustrate formal propositional logic in a visual manner. Logically equivalent to truth tables, they are easier to understand at a glance. By overlaying one Johnston diagram on another, deductions can be made from sets of propositions.
An interactive illustration of Johnston diagrams can be found at LogicTutorial.com
