Category:3-ary Boolean functions; BEC; nesting analysis
- See also: v:Studies of Euler diagrams/splits
Boolean functions can be represented as Euler diagrams. Some circles in them intersect, and some don't.
The Euler diagram on the right shows a bundle of two intersecting circles in the middle. The circle around it is a bundle on its own.
These images show an algorithmic way to find out which arguments are bundled together, and which are separate.
They can be described in terms of sets, but the concept split is more useful.
That term is used to express, that of the universe is split in two halves in a particular way.
(But without the choice which half is to be considered the set, and which the complement.)
There are three ways how two different splits can relate to each other, and three more where they are equal.
These cases can mostly be distinguished by their number of non-empty intersections. (But there are two different cases with 2.)
In these images that are the red/green overlaps with at least one black dot. Their Venn diagrams are marked with a black ring.
context | |
---|---|
Files for each BEC ordered by pattern:
0 | 1 |
---|---|
BEC 0 | BEC 1 |
2 | 3 | 4 | 5 |
---|---|---|---|
BEC 2 |
BEC 3 |
BEC 4 |
BEC 5 |
15, 18, 19 | ||
---|---|---|
BEC 15 |
BEC 18 |
BEC 19 |
7, 13, 16, 20, 21 | ||||
---|---|---|---|---|
BEC 7 |
BEC 13 |
BEC 16 |
BEC 20 |
BEC 21 |
14, 17 | |
---|---|
BEC 14 |
BEC 17 |
6, 11 | 9 | 12 | |
---|---|---|---|
BEC 6 |
BEC 11 |
BEC 9 |
BEC 12 |
8 | 10 |
---|---|
BEC 8 |
BEC 10 |
two versions of BEC 9 | |
---|---|
Each of the 22 equivalence classes above is represented by the function shown in the overview file. | |
1001 0001 |
0110 0100 |
]]]]]]
Subcategories
This category has only the following subcategory.
Pages in category "3-ary Boolean functions; BEC; nesting analysis"
The following 2 pages are in this category, out of 2 total.
Media in category "3-ary Boolean functions; BEC; nesting analysis"
The following 24 files are in this category, out of 24 total.
-
3-ary Boolean function nesting analysis; BEC 0.svg 1,098 × 1,736; 53 KB
-
3-ary Boolean function nesting analysis; BEC 1.svg 1,098 × 1,736; 63 KB
-
3-ary Boolean function nesting analysis; BEC 2.svg 1,098 × 1,736; 60 KB
-
3-ary Boolean function nesting analysis; BEC 3.svg 1,098 × 1,736; 60 KB
-
3-ary Boolean function nesting analysis; BEC 4.svg 1,098 × 1,736; 58 KB
-
3-ary Boolean function nesting analysis; BEC 5.svg 1,098 × 1,736; 61 KB
-
3-ary Boolean function nesting analysis; BEC 6.svg 1,098 × 1,736; 59 KB
-
3-ary Boolean function nesting analysis; BEC 7.svg 1,098 × 1,736; 61 KB
-
3-ary Boolean function nesting analysis; BEC 8.svg 1,098 × 1,736; 58 KB
-
3-ary Boolean function nesting analysis; BEC 9 (0110 0100).svg 1,098 × 1,736; 64 KB
-
3-ary Boolean function nesting analysis; BEC 9.svg 1,098 × 1,736; 58 KB
-
3-ary Boolean function nesting analysis; BEC 10.svg 1,098 × 1,736; 60 KB
-
3-ary Boolean function nesting analysis; BEC 11.svg 1,098 × 1,736; 60 KB
-
3-ary Boolean function nesting analysis; BEC 12.svg 1,098 × 1,736; 61 KB
-
3-ary Boolean function nesting analysis; BEC 13.svg 1,098 × 1,736; 63 KB
-
3-ary Boolean function nesting analysis; BEC 14.svg 1,098 × 1,736; 60 KB
-
3-ary Boolean function nesting analysis; BEC 15.svg 1,098 × 1,736; 59 KB
-
3-ary Boolean function nesting analysis; BEC 16.svg 1,098 × 1,736; 62 KB
-
3-ary Boolean function nesting analysis; BEC 17.svg 1,098 × 1,736; 56 KB
-
3-ary Boolean function nesting analysis; BEC 18.svg 1,098 × 1,736; 58 KB
-
3-ary Boolean function nesting analysis; BEC 19.svg 1,098 × 1,736; 60 KB
-
3-ary Boolean function nesting analysis; BEC 20.svg 1,098 × 1,736; 61 KB
-
3-ary Boolean function nesting analysis; BEC 21.svg 1,098 × 1,736; 64 KB
-
3-ary Boolean function nesting analysis; raw.svg 1,098 × 1,736; 69 KB