Template:EuDi dukeli NP

Image set Studies of Euler diagrams; dukeli NP part of Studies of Euler diagrams

base diagram [[file:EuDi; dukeli NP {{{11}}} {{{12}}}.svg|alt=]] transformed 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.) [[File:Cube vertex number {{{1}}}.svg|25px]] [[File:Finite permutation number {{{2}}}.svg|25px]] 0 1 2 3 {{{3}}} {{{4}}} {{{5}}} {{{6}}} The truth table of this function can be found here in row [[File:Cube vertex number {{{1}}}.svg|18px]] of matrix [[File:Finite permutation number {{{2}}}.svg|18px]]. This function also has the mirrored diagram [[:File:EuDi; dukeli NP {{{13}}} {{{14}}}.svg|{{{13}}} {{{14}}}]]. The diagrams of the complement are [[:File:EuDi; dukeli NP {{{15}}} {{{16}}}.svg|{{{15}}} {{{16}}}]] and [[:File:EuDi; dukeli NP {{{17}}} {{{18}}}.svg|{{{17}}} {{{18}}}]].

---

Examples:

Image set Studies of Euler diagrams; dukeli NP part of Studies of Euler diagrams

base diagram transformed 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 0 3 ¬2 The truth table of this function can be found here in row of matrix . This function also has the mirrored diagram 04 16 (~2, 3, 0, 1). The diagrams of the complement are 11 10 (~1, ~3, ~0, 2) and 11 13 (2, ~0, ~3, ~1).

Image set Studies of Euler diagrams; dukeli NP part of Studies of Euler diagrams

base diagram transformed 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 3 2 ¬0 ¬1 The truth table of this function can be found here in row of matrix . This function also has the mirrored diagram 03 01 (~1, ~0, 2, 3). The diagrams of the complement are 12 04 (1, ~2, 0, ~3) and 12 15 (~3, 0, ~2, 1).