Template:EuDi dukeli NP
Image set Studies of Euler diagrams; dukeli NP part of Studies of Euler diagrams |
||||||||||
---|---|---|---|---|---|---|---|---|---|---|
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 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 |
||||||||||
---|---|---|---|---|---|---|---|---|---|---|
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 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 |
||||||||||
---|---|---|---|---|---|---|---|---|---|---|
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 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). |