Image set Studies of Euler diagrams; dukeli NPpart of Studies of Euler diagrams


.mw-parser-output .tmulti .multiimageinner{display:flex;flex-direction:column}.mw-parser-output .tmulti .trow{display:flex;flex-direction:row;clear:left;flex-wrap:wrap;width:100%;box-sizing:border-box}.mw-parser-output .tmulti .tsingle{margin:1px;float:left}.mw-parser-output .tmulti .theader{clear:both;font-weight:bold;text-align:center;align-self:center;background-color:transparent;width:100%}.mw-parser-output .tmulti .thumbcaption{background-color:transparent}.mw-parser-output .tmulti .text-align-left{text-align:left}.mw-parser-output .tmulti .text-align-right{text-align:right}.mw-parser-output .tmulti .text-align-center{text-align:center}@media all and (max-width:720px){.mw-parser-output .tmulti .thumbinner{width:100%!important;box-sizing:border-box;max-width:none!important;align-items:center}.mw-parser-output .tmulti .trow{justify-content:center}.mw-parser-output .tmulti .tsingle{float:none!important;max-width:100%!important;box-sizing:border-box;text-align:center}.mw-parser-output .tmulti .trow>.thumbcaption{text-align:center}}base diagramtransformed diagram
This is one of 16 · 24 = 384 Euler diagrams of Boolean functions in the same NP equivalence class.
Each diagram has a mirrored equivalent describing the same function, so the EC contains only 192 functions.
Each diagram is denoted by a signed permutation of four elements.
The number values correspond to the colors of the four circles.
A negator flips the area from the concave to the convex side of the circle.(The spiky side of the border denotes the inside of the set.)

 
 




0
1
2
3
¬1
¬3
¬0
¬2


The truth table of this function can be found
here
in row  
of matrix .
This function also has the mirrored diagram
15 13 (~2, ~0, ~3, ~1).
The diagrams of the complement are
00 07 (1, 0, 3, 2) and 
00 16 (2, 3, 0, 1).
Own work
WatchduckYou can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".