Template:Studies of Euler diagrams/ketibi NP table

From Wikiversity
Jump to navigation Jump to search
W C
27308

27320

27327

27560

27567

27579
8 12 27308 &4_13
13
27308
(2, 3, 1, 0)
(3, 2, 1, 0)
(2, 3, 0, 1)
(3, 2, 0, 1)
(2, 3, 0, 1)
(3, 2, 0, 1)
(2, 3, 1, 0)
(3, 2, 1, 0)
27850
(2, 3, 0, 1)
(3, 2, 0, 1)
(2, 3, 1, 0)
(3, 2, 1, 0)
(2, 3, 1, 0)
(3, 2, 1, 0)
(2, 3, 0, 1)
(3, 2, 0, 1)
27320
(1, 3, 2, 0)
(3, 1, 2, 0)
(1, 3, 0, 2)
(3, 1, 0, 2)
(1, 3, 0, 2)
(3, 1, 0, 2)
(1, 3, 2, 0)
(3, 1, 2, 0)
30946
(1, 3, 0, 2)
(3, 1, 0, 2)
(1, 3, 2, 0)
(3, 1, 2, 0)
(1, 3, 2, 0)
(3, 1, 2, 0)
(1, 3, 0, 2)
(3, 1, 0, 2)
27864
(0, 3, 2, 1)
(3, 0, 2, 1)
(0, 3, 1, 2)
(3, 0, 1, 2)
(0, 3, 1, 2)
(3, 0, 1, 2)
(0, 3, 2, 1)
(3, 0, 2, 1)
30948
(0, 3, 1, 2)
(3, 0, 1, 2)
(0, 3, 2, 1)
(3, 0, 2, 1)
(0, 3, 2, 1)
(3, 0, 2, 1)
(0, 3, 1, 2)
(3, 0, 1, 2)
27560
(1, 2, 3, 0)
(2, 1, 3, 0)
(1, 2, 0, 3)
(2, 1, 0, 3)
(1, 2, 0, 3)
(2, 1, 0, 3)
(1, 2, 3, 0)
(2, 1, 3, 0)
32386
(1, 2, 0, 3)
(2, 1, 0, 3)
(1, 2, 3, 0)
(2, 1, 3, 0)
(1, 2, 3, 0)
(2, 1, 3, 0)
(1, 2, 0, 3)
(2, 1, 0, 3)
28104
(0, 2, 3, 1)
(2, 0, 3, 1)
(0, 2, 1, 3)
(2, 0, 1, 3)
(0, 2, 1, 3)
(2, 0, 1, 3)
(0, 2, 3, 1)
(2, 0, 3, 1)
32388
(0, 2, 1, 3)
(2, 0, 1, 3)
(0, 2, 3, 1)
(2, 0, 3, 1)
(0, 2, 3, 1)
(2, 0, 3, 1)
(0, 2, 1, 3)
(2, 0, 1, 3)
31200
(0, 1, 3, 2)
(1, 0, 3, 2)
(0, 1, 2, 3)
(1, 0, 2, 3)
(0, 1, 2, 3)
(1, 0, 2, 3)
(0, 1, 3, 2)
(1, 0, 3, 2)
32400
(0, 1, 2, 3)
(1, 0, 2, 3)
(0, 1, 3, 2)
(1, 0, 3, 2)
(0, 1, 3, 2)
(1, 0, 3, 2)
(0, 1, 2, 3)
(1, 0, 2, 3)
11 12 27327 &4_13
13
30967
(3, 2, 0, 1)
(3, 2, 1, 0)
(2, 3, 0, 1)
(2, 3, 1, 0)
(2, 3, 0, 1)
(2, 3, 1, 0)
(3, 2, 0, 1)
(3, 2, 1, 0)
32647
(2, 3, 0, 1)
(2, 3, 1, 0)
(3, 2, 0, 1)
(3, 2, 1, 0)
(3, 2, 0, 1)
(3, 2, 1, 0)
(2, 3, 0, 1)
(2, 3, 1, 0)
27871
(3, 1, 0, 2)
(3, 1, 2, 0)
(1, 3, 0, 2)
(1, 3, 2, 0)
(1, 3, 0, 2)
(1, 3, 2, 0)
(3, 1, 0, 2)
(3, 1, 2, 0)
32659
(1, 3, 0, 2)
(1, 3, 2, 0)
(3, 1, 0, 2)
(3, 1, 2, 0)
(3, 1, 0, 2)
(3, 1, 2, 0)
(1, 3, 0, 2)
(1, 3, 2, 0)
27327
(3, 0, 1, 2)
(3, 0, 2, 1)
(0, 3, 1, 2)
(0, 3, 2, 1)
(0, 3, 1, 2)
(0, 3, 2, 1)
(3, 0, 1, 2)
(3, 0, 2, 1)
32661
(0, 3, 1, 2)
(0, 3, 2, 1)
(3, 0, 1, 2)
(3, 0, 2, 1)
(3, 0, 1, 2)
(3, 0, 2, 1)
(0, 3, 1, 2)
(0, 3, 2, 1)
28111
(2, 1, 0, 3)
(2, 1, 3, 0)
(1, 2, 0, 3)
(1, 2, 3, 0)
(1, 2, 0, 3)
(1, 2, 3, 0)
(2, 1, 0, 3)
(2, 1, 3, 0)
31219
(1, 2, 0, 3)
(1, 2, 3, 0)
(2, 1, 0, 3)
(2, 1, 3, 0)
(2, 1, 0, 3)
(2, 1, 3, 0)
(1, 2, 0, 3)
(1, 2, 3, 0)
27567
(2, 0, 1, 3)
(2, 0, 3, 1)
(0, 2, 1, 3)
(0, 2, 3, 1)
(0, 2, 1, 3)
(0, 2, 3, 1)
(2, 0, 1, 3)
(2, 0, 3, 1)
31221
(0, 2, 1, 3)
(0, 2, 3, 1)
(2, 0, 1, 3)
(2, 0, 3, 1)
(2, 0, 1, 3)
(2, 0, 3, 1)
(0, 2, 1, 3)
(0, 2, 3, 1)
27579
(1, 0, 2, 3)
(1, 0, 3, 2)
(0, 1, 2, 3)
(0, 1, 3, 2)
(0, 1, 2, 3)
(0, 1, 3, 2)
(1, 0, 2, 3)
(1, 0, 3, 2)
28125
(0, 1, 2, 3)
(0, 1, 3, 2)
(1, 0, 2, 3)
(1, 0, 3, 2)
(1, 0, 2, 3)
(1, 0, 3, 2)
(0, 1, 2, 3)
(0, 1, 3, 2)
8 12 27334 &2_2
2
27334
(2, 3, 0, 1)(3, 2, 1, 0)
(3, 2, 0, 1)(2, 3, 1, 0)
(2, 3, 1, 0)(3, 2, 0, 1)
(3, 2, 1, 0)(2, 3, 0, 1)
27814
(2, 3, 1, 0)(3, 2, 0, 1)
(3, 2, 1, 0)(2, 3, 0, 1)
(2, 3, 0, 1)(3, 2, 1, 0)
(3, 2, 0, 1)(2, 3, 1, 0)
27346
(1, 3, 0, 2)(3, 1, 2, 0)
(3, 1, 0, 2)(1, 3, 2, 0)
(1, 3, 2, 0)(3, 1, 0, 2)
(3, 1, 2, 0)(1, 3, 0, 2)
30874
(1, 3, 2, 0)(3, 1, 0, 2)
(3, 1, 2, 0)(1, 3, 0, 2)
(1, 3, 0, 2)(3, 1, 2, 0)
(3, 1, 0, 2)(1, 3, 2, 0)
27828
(0, 3, 1, 2)(3, 0, 2, 1)
(3, 0, 1, 2)(0, 3, 2, 1)
(0, 3, 2, 1)(3, 0, 1, 2)
(3, 0, 2, 1)(0, 3, 1, 2)
30876
(0, 3, 2, 1)(3, 0, 1, 2)
(3, 0, 2, 1)(0, 3, 1, 2)
(0, 3, 1, 2)(3, 0, 2, 1)
(3, 0, 1, 2)(0, 3, 2, 1)
28066
(1, 2, 0, 3)(2, 1, 3, 0)
(2, 1, 0, 3)(1, 2, 3, 0)
(1, 2, 3, 0)(2, 1, 0, 3)
(2, 1, 3, 0)(1, 2, 0, 3)
31114
(2, 1, 0, 3)(1, 2, 3, 0)
(1, 2, 0, 3)(2, 1, 3, 0)
(2, 1, 3, 0)(1, 2, 0, 3)
(1, 2, 3, 0)(2, 1, 0, 3)
27588
(0, 2, 1, 3)(2, 0, 3, 1)
(2, 0, 1, 3)(0, 2, 3, 1)
(0, 2, 3, 1)(2, 0, 1, 3)
(2, 0, 3, 1)(0, 2, 1, 3)
31116
(2, 0, 1, 3)(0, 2, 3, 1)
(0, 2, 1, 3)(2, 0, 3, 1)
(2, 0, 3, 1)(0, 2, 1, 3)
(0, 2, 3, 1)(2, 0, 1, 3)
27600
(0, 1, 2, 3)(1, 0, 3, 2)
(1, 0, 2, 3)(0, 1, 3, 2)
(0, 1, 3, 2)(1, 0, 2, 3)
(1, 0, 3, 2)(0, 1, 2, 3)
28080
(1, 0, 2, 3)(0, 1, 3, 2)
(0, 1, 2, 3)(1, 0, 3, 2)
(1, 0, 3, 2)(0, 1, 2, 3)
(0, 1, 3, 2)(1, 0, 2, 3)
9 6 27349 &4_04
04
30863
(2, 3, 0, 1)
(3, 2, 0, 1)
(2, 3, 1, 0)
(3, 2, 1, 0)
(2, 3, 0, 1)
(3, 2, 0, 1)
(2, 3, 1, 0)
(3, 2, 1, 0)
27827
(1, 3, 0, 2)
(3, 1, 0, 2)
(1, 3, 2, 0)
(3, 1, 2, 0)
(1, 3, 0, 2)
(3, 1, 0, 2)
(1, 3, 2, 0)
(3, 1, 2, 0)
27349
(0, 3, 1, 2)
(3, 0, 1, 2)
(0, 3, 2, 1)
(3, 0, 2, 1)
(0, 3, 1, 2)
(3, 0, 1, 2)
(0, 3, 2, 1)
(3, 0, 2, 1)
27587
(1, 2, 0, 3)
(2, 1, 0, 3)
(1, 2, 3, 0)
(2, 1, 3, 0)
(1, 2, 0, 3)
(2, 1, 0, 3)
(1, 2, 3, 0)
(2, 1, 3, 0)
28069
(0, 2, 1, 3)
(2, 0, 1, 3)
(0, 2, 3, 1)
(2, 0, 3, 1)
(0, 2, 1, 3)
(2, 0, 1, 3)
(0, 2, 3, 1)
(2, 0, 3, 1)
31129
(0, 1, 2, 3)
(1, 0, 2, 3)
(0, 1, 3, 2)
(1, 0, 3, 2)
(0, 1, 2, 3)
(1, 0, 2, 3)
(0, 1, 3, 2)
(1, 0, 3, 2)
12 6 32494 &2_2
2
32760
(2, 3, 0, 1)
(3, 2, 0, 1)
(2, 3, 1, 0)
(3, 2, 1, 0)
(2, 3, 0, 1)
(3, 2, 0, 1)
(2, 3, 1, 0)
(3, 2, 1, 0)
32748
(1, 3, 0, 2)
(3, 1, 0, 2)
(1, 3, 2, 0)
(3, 1, 2, 0)
(1, 3, 0, 2)
(3, 1, 0, 2)
(1, 3, 2, 0)
(3, 1, 2, 0)
32746
(0, 3, 1, 2)
(3, 0, 1, 2)
(0, 3, 2, 1)
(3, 0, 2, 1)
(0, 3, 1, 2)
(3, 0, 1, 2)
(0, 3, 2, 1)
(3, 0, 2, 1)
32508
(1, 2, 0, 3)
(2, 1, 0, 3)
(1, 2, 3, 0)
(2, 1, 3, 0)
(1, 2, 0, 3)
(2, 1, 0, 3)
(1, 2, 3, 0)
(2, 1, 3, 0)
32506
(0, 2, 1, 3)
(2, 0, 1, 3)
(0, 2, 3, 1)
(2, 0, 3, 1)
(0, 2, 1, 3)
(2, 0, 1, 3)
(0, 2, 3, 1)
(2, 0, 3, 1)
32494
(0, 1, 2, 3)
(1, 0, 2, 3)
(0, 1, 3, 2)
(1, 0, 3, 2)
(0, 1, 2, 3)
(1, 0, 2, 3)
(0, 1, 3, 2)
(1, 0, 3, 2)




The Boolean functions in this clan are bloated.

#    bloatless     &         bloat         ==            bloated
Boolf('1110 0111') & Boolf('1001', [2, 3]) == Boolf('1110 0000 0000 0111')>

The bloatless functions are in the clan of foravo.

This table is similar to that of dosori, which is the complement of ketibi.