Boolf prop/3-ary/twist vector
Together with twist xors the twist vector identifies a unique Boolean function.
(compare reverse prefect)
(compare twin prefect)
pair of signed weights (¬1, ¬1)
The first and last entry are ignored.
Number of blocks: 64 Integer partition: 16⋅1 + 32⋅3 + 16⋅9
| # | twist vector | reverse and twin prefect signed weight |
block |
|---|---|---|---|
| 1 | (0, 0, 0, 0) | 0, 0, 0, 0 (0, 0) |
[0]
|
| 1 | (1, 3, 3, 1) | 3, 0, 0, 1 (3, ¬0) |
[1]
|
| 9 | (0, 1, 2, 1) | 1, 1, 1, 0 (¬1, 1) |
[2, 4, 16, 44, 56, 74, 88, 98, 100]
|
| 9 | (1, 2, 1, 0) | 2, 1, 1, 1 (¬2, ¬1) |
[3, 5, 17, 45, 57, 75, 89, 99, 101]
|
| 9 | (0, 2, 2, 0) | 2, 0, 2, 0 (2, 2) |
[6, 18, 20, 46, 58, 78, 92, 114, 116]
|
| 9 | (1, 1, 1, 1) | 1, 0, 2, 1 (1, ¬2) |
[7, 19, 21, 47, 59, 79, 93, 115, 117]
|
| 3 | (0, 0, 1, 1) | 0, 0, 2, 1 (0, ¬2) |
[8, 32, 64]
|
| 3 | (1, 3, 2, 0) | 3, 0, 2, 0 (3, 2) |
[9, 33, 65]
|
| 9 | (0, 1, 1, 0) | 1, 1, 1, 1 (¬1, ¬1) |
[10, 12, 34, 48, 68, 80, 106, 108, 120]
|
| 9 | (1, 2, 2, 1) | 2, 1, 1, 0 (¬2, 1) |
[11, 13, 35, 49, 69, 81, 107, 109, 121]
|
| 3 | (0, 2, 3, 1) | 2, 0, 0, 1 (2, ¬0) |
[14, 50, 84]
|
| 3 | (1, 1, 0, 0) | 1, 0, 0, 0 (1, 0) |
[15, 51, 85]
|
| 1 | (0, 3, 0, 1) | 3, 1, 3, 0 (¬3, 3) |
[22]
|
| 1 | (1, 0, 3, 0) | 0, 1, 3, 1 (¬0, ¬3) |
[23]
|
| 3 | (0, 1, 3, 0) | 1, 1, 3, 1 (¬1, ¬3) |
[24, 36, 66]
|
| 3 | (1, 2, 0, 1) | 2, 1, 3, 0 (¬2, 3) |
[25, 37, 67]
|
| 9 | (0, 2, 1, 1) | 2, 0, 2, 1 (2, ¬2) |
[26, 28, 38, 52, 70, 82, 110, 122, 124]
|
| 9 | (1, 1, 2, 0) | 1, 0, 2, 0 (1, 2) |
[27, 29, 39, 53, 71, 83, 111, 123, 125]
|
| 3 | (0, 3, 1, 0) | 3, 1, 1, 1 (¬3, ¬1) |
[30, 54, 86]
|
| 3 | (1, 0, 2, 1) | 0, 1, 1, 0 (¬0, 1) |
[31, 55, 87]
|
| 3 | (0, 0, 2, 0) | 0, 0, 2, 0 (0, 2) |
[40, 72, 96]
|
| 3 | (1, 3, 1, 1) | 3, 0, 2, 1 (3, ¬2) |
[41, 73, 97]
|
| 3 | (0, 1, 0, 1) | 1, 1, 3, 0 (¬1, 3) |
[42, 76, 112]
|
| 3 | (1, 2, 3, 0) | 2, 1, 3, 1 (¬2, ¬3) |
[43, 77, 113]
|
| 3 | (0, 2, 0, 0) | 2, 0, 0, 0 (2, 0) |
[60, 90, 102]
|
| 3 | (1, 1, 3, 1) | 1, 0, 0, 1 (1, ¬0) |
[61, 91, 103]
|
| 3 | (0, 3, 2, 1) | 3, 1, 1, 0 (¬3, 1) |
[62, 94, 118]
|
| 3 | (1, 0, 1, 0) | 0, 1, 1, 1 (¬0, ¬1) |
[63, 95, 119]
|
| 1 | (0, 0, 3, 1) | 0, 0, 0, 1 (0, ¬0) |
[104]
|
| 1 | (1, 3, 0, 0) | 3, 0, 0, 0 (3, 0) |
[105]
|
| 1 | (0, 3, 3, 0) | 3, 1, 3, 1 (¬3, ¬3) |
[126]
|
| 1 | (1, 0, 0, 1) | 0, 1, 3, 0 (¬0, 3) |
[127]
|
| 1 | (0, 0, 0, 1) | 0, 0, 3, 0 (0, 3) |
[128]
|
| 1 | (1, 3, 3, 0) | 3, 0, 3, 1 (3, ¬3) |
[129]
|
| 9 | (0, 1, 2, 0) | 1, 1, 2, 0 (¬1, 2) |
[130, 132, 144, 172, 184, 202, 216, 226, 228]
|
| 9 | (1, 2, 1, 1) | 2, 1, 2, 1 (¬2, ¬2) |
[131, 133, 145, 173, 185, 203, 217, 227, 229]
|
| 9 | (0, 2, 2, 1) | 2, 0, 1, 0 (2, 1) |
[134, 146, 148, 174, 186, 206, 220, 242, 244]
|
| 9 | (1, 1, 1, 0) | 1, 0, 1, 1 (1, ¬1) |
[135, 147, 149, 175, 187, 207, 221, 243, 245]
|
| 3 | (0, 0, 1, 0) | 0, 0, 1, 1 (0, ¬1) |
[136, 160, 192]
|
| 3 | (1, 3, 2, 1) | 3, 0, 1, 0 (3, 1) |
[137, 161, 193]
|
| 9 | (0, 1, 1, 1) | 1, 1, 2, 1 (¬1, ¬2) |
[138, 140, 162, 176, 196, 208, 234, 236, 248]
|
| 9 | (1, 2, 2, 0) | 2, 1, 2, 0 (¬2, 2) |
[139, 141, 163, 177, 197, 209, 235, 237, 249]
|
| 3 | (0, 2, 3, 0) | 2, 0, 3, 1 (2, ¬3) |
[142, 178, 212]
|
| 3 | (1, 1, 0, 1) | 1, 0, 3, 0 (1, 3) |
[143, 179, 213]
|
| 1 | (0, 3, 0, 0) | 3, 1, 0, 0 (¬3, 0) |
[150]
|
| 1 | (1, 0, 3, 1) | 0, 1, 0, 1 (¬0, ¬0) |
[151]
|
| 3 | (0, 1, 3, 1) | 1, 1, 0, 1 (¬1, ¬0) |
[152, 164, 194]
|
| 3 | (1, 2, 0, 0) | 2, 1, 0, 0 (¬2, 0) |
[153, 165, 195]
|
| 9 | (0, 2, 1, 0) | 2, 0, 1, 1 (2, ¬1) |
[154, 156, 166, 180, 198, 210, 238, 250, 252]
|
| 9 | (1, 1, 2, 1) | 1, 0, 1, 0 (1, 1) |
[155, 157, 167, 181, 199, 211, 239, 251, 253]
|
| 3 | (0, 3, 1, 1) | 3, 1, 2, 1 (¬3, ¬2) |
[158, 182, 214]
|
| 3 | (1, 0, 2, 0) | 0, 1, 2, 0 (¬0, 2) |
[159, 183, 215]
|
| 3 | (0, 0, 2, 1) | 0, 0, 1, 0 (0, 1) |
[168, 200, 224]
|
| 3 | (1, 3, 1, 0) | 3, 0, 1, 1 (3, ¬1) |
[169, 201, 225]
|
| 3 | (0, 1, 0, 0) | 1, 1, 0, 0 (¬1, 0) |
[170, 204, 240]
|
| 3 | (1, 2, 3, 1) | 2, 1, 0, 1 (¬2, ¬0) |
[171, 205, 241]
|
| 3 | (0, 2, 0, 1) | 2, 0, 3, 0 (2, 3) |
[188, 218, 230]
|
| 3 | (1, 1, 3, 0) | 1, 0, 3, 1 (1, ¬3) |
[189, 219, 231]
|
| 3 | (0, 3, 2, 0) | 3, 1, 2, 0 (¬3, 2) |
[190, 222, 246]
|
| 3 | (1, 0, 1, 1) | 0, 1, 2, 1 (¬0, ¬2) |
[191, 223, 247]
|
| 1 | (0, 0, 3, 0) | 0, 0, 3, 1 (0, ¬3) |
[232]
|
| 1 | (1, 3, 0, 1) | 3, 0, 3, 0 (3, 3) |
[233]
|
| 1 | (0, 3, 3, 1) | 3, 1, 0, 1 (¬3, ¬0) |
[254]
|
| 1 | (1, 0, 0, 0) | 0, 1, 0, 0 (¬0, 0) |
[255]
|