Wolfram Function Repository
Instantuse addon functions for the Wolfram Language
Function Repository Resource:
Generate the Venn diagram associated to a logical expression or collection of sets
ResourceFunction["VennDiagram"][expr] generates the Venn diagram associated to expr. 

ResourceFunction["VennDiagram"][{s_{1},s_{2},…}] generates the Venn diagram associated to the sets s_{1},s_{2},…. 
"DiagramLegends"  "SwatchLegend"  specifies which legends to use 
"EquationForm"  "AND"  converts the legend expressions to the specified form 
ImageSize  185  the absolute size at which to render the graphic 
"SwatchLegend"  generates a legend that associates colored swatches to appropriately colored regions of the diagram 
"MouseOver"  highlights the region under the cursor and displays the equation associated to it 
None  no equation 
"DNF","SOP"  disjunctive normal form, sum of products 
"CNF","POS"  conjunctive normal form, product of sums 
"ESOP"  exclusive sum of products 
"ANF"  algebraic normal form 
"NOR"  twolevel Nor and Not 
"NAND"  twolevel Nand and Not 
"AND"  twolevel And and Not 
"OR"  twolevel Or and Not 
"IMPLIES"  Implies and Not 
"ITE","IF"  If and constants 
"BFF"  BooleanFunction form 
"BDT"  Boolean decision tree 
Generate a Venn diagram representing a logical expression:
In[1]:= 

Out[1]= 

In[2]:= 

Out[2]= 

In[3]:= 

Out[3]= 

VennDiagram accepts Boolean functions as input:
In[4]:= 

Out[4]= 

Generate a Venn diagram for explicitly defined sets:
In[5]:= 

Out[5]= 

Change the canonical normal form of equations used to describe particular sets:
In[6]:= 

Out[6]= 

Only display the content and equation of the region beneath the cursor:
In[7]:= 

Out[7]= 

Create Venn diagrams of various sizes:
In[8]:= 

Out[8]= 

VennDiagram requires at least 2, but no more than 5 variables or sets:
In[9]:= 

Out[9]= 

In[10]:= 

Out[10]= 

This work is licensed under a Creative Commons Attribution 4.0 International License