The tables below show all 28 of the fully associative variegated ternary operations over four values:
| Values for the operations that are fully commutative
| Identities
|
---|
1
|
aaa = a | aab = b | aac = c | aad = d
| abb = a | abc = d | abd = c
| acc = a | acd = b
| add = a
|
|
bbb = b | bbc = c | bbd = d
| bcc = b | bcd = a
| bdd = b
|
|
|
| aa, bb, cc, dd
|
---|
2
|
aaa = b | aab = a | aac = d | aad = c
| abb = b | abc = c | abd = d
| acc = a | acd = b
| add = a
|
|
bbb = a | bbc = d | bbd = c
| bcc = b | bcd = a
| bdd = b
|
|
|
| ab, cc, dd
|
---|
3
|
aaa = c | aab = d | aac = a | aad = b
| abb = a | abc = b | abd = c
| acc = c | acd = d
| add = a
|
|
bbb = b | bbc = c | bbd = d
| bcc = d | bcd = a
| bdd = b
|
|
|
| ac, bb, dd
|
---|
4
|
aaa = d | aab = c | aac = b | aad = a
| abb = a | abc = d | abd = b
| acc = a | acd = c
| add = d
|
|
bbb = b | bbc = c | bbd = d
| bcc = b | bcd = a
| bdd = c
|
|
|
| ad, bb, cc
|
---|
5
|
aaa = a | aab = b | aac = c | aad = d
| abb = d | abc = a | abd = c
| acc = d | acd = b
| add = a
|
|
bbb = c | bbc = b | bbd = a
| bcc = c | bcd = d
| bdd = b
|
|
|
| aa, bc, dd
|
---|
6
|
aaa = a | aab = b | aac = c | aad = d
| abb = c | abc = d | abd = a
| acc = a | acd = b
| add = c
|
|
bbb = d | bbc = a | bbd = b
| bcc = b | bcd = c
| bdd = d
|
|
|
| aa, bd, cc
|
---|
7
|
aaa = a | aab = b | aac = c | aad = d
| abb = a | abc = d | abd = c
| acc = b | acd = a
| add = b
|
|
bbb = b | bbc = c | bbd = d
| bcc = a | bcd = b
| bdd = a
|
|
|
| aa, bb, cd
|
---|
8
|
aaa = b | aab = a | aac = d | aad = c
| abb = b | abc = c | abd = d
| acc = b | acd = a
| add = b
|
|
bbb = a | bbc = d | bbd = c
| bcc = a | bcd = b
| bdd = a
|
|
|
| ab, cd
|
---|
9
|
aaa = c | aab = a | aac = d | aad = b
| abb = b | abc = c | abd = d
| acc = b | acd = a
| add = c
|
|
bbb = d | bbc = a | bbd = c
| bcc = d | bcd = b
| bdd = a
|
|
|
| ab, cd
|
---|
10
|
aaa = d | aab = a | aac = b | aad = c
| abb = b | abc = c | abd = d
| acc = d | acd = a
| add = b
|
|
bbb = c | bbc = d | bbd = a
| bcc = a | bcd = b
| bdd = c
|
|
|
| ab, cd
|
---|
11
|
aaa = b | aab = d | aac = a | aad = c
| abb = c | abc = b | abd = a
| acc = c | acd = d
| add = b
|
|
bbb = a | bbc = d | bbd = b
| bcc = a | bcd = c
| bdd = d
|
|
|
| ac, bd
|
---|
12
|
aaa = c | aab = d | aac = a | aad = b
| abb = c | abc = b | abd = a
| acc = c | acd = d
| add = c
|
|
bbb = d | bbc = a | bbd = b
| bcc = d | bcd = c
| bdd = d
|
|
|
| ac, bd
|
---|
13
|
aaa = d | aab = c | aac = a | aad = b
| abb = d | abc = b | abd = a
| acc = c | acd = d
| add = c
|
|
bbb = c | bbc = a | bbd = b
| bcc = d | bcd = c
| bdd = d
|
|
|
| ac, bd
|
---|
14
|
aaa = b | aab = c | aac = d | aad = a
| abb = d | abc = a | abd = b
| acc = b | acd = c
| add = d
|
|
bbb = a | bbc = b | bbd = c
| bcc = c | bcd = d
| bdd = a
|
|
|
| ad, bc
|
---|
15
|
aaa = c | aab = d | aac = b | aad = a
| abb = c | abc = a | abd = b
| acc = d | acd = c
| add = d
|
|
bbb = d | bbc = b | bbd = a
| bcc = c | bcd = d
| bdd = c
|
|
|
| ad, bc
|
---|
16
|
aaa = d | aab = c | aac = b | aad = a
| abb = d | abc = a | abd = b
| acc = d | acd = c
| add = d
|
|
bbb = c | bbc = b | bbd = a
| bcc = c | bcd = d
| bdd = c
|
|
|
| ad, bc
|
---|
| Values for the operations that are not cyclically commutative | Identities
|
---|
17
|
aaa = a | aab = b | aac = c | aad = d
| aba = b | abb = a | abc = d | abd = c
| aca = d | acb = c | acc = a | acd = b
| ada = c | adb = d | adc = b | add = a
|
|
bab = a | bac = d | bad = c
| bbb = b | bbc = c | bbd = d
| bcb = d | bcc = b | bcd = a
| bdb = c | bdc = a | bdd = b
|
|
cac = b | cad = a
| cbc = a | cbd = b
| ccc = c | ccd = d
| cdc = d | cdd = c
|
|
dad = b
| dbd = a
| dcd = c
| ddd = d
|
| aa, bb, cc, dd
|
---|
18
|
aaa = a | aab = b | aac = c | aad = d
| aba = c | abb = a | abc = d | abd = b
| aca = b | acb = d | acc = a | acd = c
| ada = d | adb = c | adc = b | add = a
|
|
bab = d | bac = a | bad = c
| bbb = b | bbc = c | bbd = d
| bcb = c | bcc = b | bcd = a
| bdb = a | bdc = d | bdd = b
|
|
cac = d | cad = b
| cbc = b | cbd = a
| ccc = c | ccd = d
| cdc = a | cdd = c
|
|
dad = a
| dbd = c
| dcd = b
| ddd = d
|
| aa, bb, cc, dd
|
---|
19
|
aaa = a | aab = b | aac = c | aad = d
| aba = d | abb = a | abc = b | abd = c
| aca = c | acb = d | acc = a | acd = b
| ada = b | adb = c | adc = d | add = a
|
|
bab = c | bac = d | bad = a
| bbb = b | bbc = c | bbd = d
| bcb = a | bcc = b | bcd = c
| bdb = d | bdc = a | bdd = b
|
|
cac = a | cad = b
| cbc = d | cbd = a
| ccc = c | ccd = d
| cdc = b | cdd = c
|
|
dad = c
| dbd = b
| dcd = a
| ddd = d
|
| aa, bb, cc, dd
|
---|
20
|
aaa = a | aab = b | aac = c | aad = d
| aba = b | abb = a | abc = d | abd = c
| aca = d | acb = c | acc = b | acd = a
| ada = c | adb = d | adc = a | add = b
|
|
bab = a | bac = d | bad = c
| bbb = b | bbc = c | bbd = d
| bcb = d | bcc = a | bcd = b
| bdb = c | bdc = b | bdd = a
|
|
cac = a | cad = b
| cbc = b | cbd = a
| ccc = d | ccd = c
| cdc = c | cdd = d
|
|
dad = a
| dbd = b
| dcd = d
| ddd = c
|
| aa, bb, cd, dc
|
---|
21
|
aaa = a | aab = b | aac = c | aad = d
| aba = d | abb = c | abc = b | abd = a
| aca = c | acb = d | acc = a | acd = b
| ada = b | adb = a | adc = d | add = c
|
|
bab = a | bac = d | bad = c
| bbb = d | bbc = a | bbd = b
| bcb = c | bcc = b | bcd = a
| bdb = b | bdc = c | bdd = d
|
|
cac = a | cad = b
| cbc = d | cbd = c
| ccc = c | ccd = d
| cdc = b | cdd = a
|
|
dad = a
| dbd = d
| dcd = c
| ddd = b
|
| aa, cc, bd, db
|
---|
22
|
aaa = a | aab = b | aac = c | aad = d
| aba = c | abb = d | abc = a | abd = b
| aca = b | acb = a | acc = d | acd = c
| ada = d | adb = c | adc = b | add = a
|
|
bab = a | bac = d | bad = c
| bbb = c | bbc = b | bbd = a
| bcb = b | bcc = c | bcd = d
| bdb = d | bdc = a | bdd = b
|
|
cac = a | cad = b
| cbc = c | cbd = d
| ccc = b | ccd = a
| cdc = d | cdd = c
|
|
dad = a
| dbd = c
| dcd = b
| ddd = d
|
| aa, dd, bc, cb
|
---|
23
|
aaa = d | aab = c | aac = b | aad = a
| aba = b | abb = a | abc = d | abd = c
| aca = c | acb = d | acc = a | acd = b
| ada = a | adb = b | adc = c | add = d
|
|
bab = d | bac = a | bad = b
| bbb = b | bbc = c | bbd = d
| bcb = c | bcc = b | bcd = a
| bdb = a | bdc = d | bdd = c
|
|
cac = d | cad = c
| cbc = b | cbd = a
| ccc = c | ccd = d
| cdc = a | cdd = b
|
|
dad = d
| dbd = b
| dcd = c
| ddd = a
|
| bb, cc, ad, da
|
---|
24
|
aaa = c | aab = d | aac = a | aad = b
| aba = b | abb = a | abc = d | abd = c
| aca = a | acb = b | acc = c | acd = d
| ada = d | adb = c | adc = b | add = a
|
|
bab = c | bac = b | bad = a
| bbb = b | bbc = c | bbd = d
| bcb = a | bcc = d | bcd = c
| bdb = d | bdc = a | bdd = b
|
|
cac = c | cad = d
| cbc = b | cbd = a
| ccc = a | ccd = b
| cdc = d | cdd = c
|
|
dad = c
| dbd = b
| dcd = a
| ddd = d
|
| bb, dd, ac, ca
|
---|
25
|
aaa = b | aab = a | aac = d | aad = c
| aba = a | abb = b | abc = c | abd = d
| aca = c | acb = d | acc = a | acd = b
| ada = d | adb = c | adc = b | add = a
|
|
bab = b | bac = c | bad = d
| bbb = a | bbc = d | bbd = c
| bcb = c | bcc = b | bcd = a
| bdb = d | bdc = a | bdd = b
|
|
cac = b | cad = a
| cbc = a | cbd = b
| ccc = c | ccd = d
| cdc = d | cdd = c
|
|
dad = b
| dbd = a
| dcd = c
| ddd = d
|
| cc, dd, ab, ba
|
---|
26
|
aaa = b | aab = a | aac = d | aad = c
| aba = a | abb = b | abc = c | abd = d
| aca = c | acb = d | acc = b | acd = a
| ada = d | adb = c | adc = a | add = b
|
|
bab = b | bac = c | bad = d
| bbb = a | bbc = d | bbd = c
| bcb = c | bcc = a | bcd = b
| bdb = d | bdc = b | bdd = a
|
|
cac = a | cad = b
| cbc = b | cbd = a
| ccc = d | ccd = c
| cdc = c | cdd = d
|
|
dad = a
| dbd = b
| dcd = d
| ddd = c
|
| ab, ba, cd, dc
|
---|
27
|
aaa = c | aab = d | aac = a | aad = b
| aba = b | abb = c | abc = d | abd = a
| aca = a | acb = b | acc = c | acd = d
| ada = d | adb = a | adc = b | add = c
|
|
bab = a | bac = b | bad = c
| bbb = d | bbc = a | bbd = b
| bcb = c | bcc = d | bcd = a
| bdb = b | bdc = c | bdd = d
|
|
cac = c | cad = d
| cbc = b | cbd = c
| ccc = a | ccd = b
| cdc = d | cdd = a
|
|
dad = a
| dbd = d
| dcd = c
| ddd = b
|
| ac, ca, bd, db
|
---|
28
|
aaa = d | aab = c | aac = b | aad = a
| aba = b | abb = d | abc = a | abd = c
| aca = c | acb = a | acc = d | acd = b
| ada = a | adb = b | adc = c | add = d
|
|
bab = a | bac = d | bad = b
| bbb = c | bbc = b | bbd = a
| bcb = b | bcc = c | bcd = d
| bdb = d | bdc = a | bdd = c
|
|
cac = a | cad = c
| cbc = c | cbd = d
| ccc = b | ccd = a
| cdc = d | cdd = b
|
|
dad = d
| dbd = b
| dcd = c
| ddd = a
|
| ad, da, bc, cb
|
---|
These associative operations were found by a brute-force search. Generated were the 55,296 operations with the property that changing any one input changes the output; each was examined for associativity. Noteworthy is that 55,296 is the number of possible latin hypercubes of dimension three and order four.