Logical diagrams

diagram that shows all possible logical relations between a collection of sets

diagrammatic notation for logical expressions proposed by Peirce

diagram type