Boolf prop/3-ary/twist vector

< Boolf prop < 3-ary
reverse prefect signed weight ¬1
(compare reverse prefect)
twin prefect signed weight ¬1
(compare twin prefect)
twist vector (0, 1, 1, 0)
pair of signed weights (¬1, ¬1)
twin-chunky twist vector (0, 1, 1, 0)
The first and last entry are ignored.

Together with twist xors the twist vector identifies a unique Boolean function.

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]
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.