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
¬0
¬2
¬3
1


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