Home.

The tables below show all 28 of the fully associative variegated ternary operations over four values:

To save space, we write abc = d instead of operation_name (a, b, c) = d. Using this notation with atoms p, q, r, s and t:

The product of two atoms is sometimes an identity, as listed in the rightmost column of the tables. With atoms p, q and r:

It turns out that for the 28 operations in the tables:

These two properties might not hold for operations other than those listed below.

For operations that are not fully commutative, it is reasonable to say that pq is a central identity if prq always equals r. However, none of the operations in the second table (operations 17-28) has a central identity.

Values for the operations that are fully commutative Identities
1
aaa = aaab = baac = caad = d
abb = aabc = dabd = c
acc = aacd = b
add = a
bbb = bbbc = cbbd = d
bcc = bbcd = a
bdd = b
ccc = cccd = d
cdd = c
ddd = d
aa, bb, cc, dd
2
aaa = baab = aaac = daad = c
abb = babc = cabd = d
acc = aacd = b
add = a
bbb = abbc = dbbd = c
bcc = bbcd = a
bdd = b
ccc = cccd = d
cdd = c
ddd = d
ab, cc, dd
3
aaa = caab = daac = aaad = b
abb = aabc = babd = c
acc = cacd = d
add = a
bbb = bbbc = cbbd = d
bcc = dbcd = a
bdd = b
ccc = accd = b
cdd = c
ddd = d
ac, bb, dd
4
aaa = daab = caac = baad = a
abb = aabc = dabd = b
acc = aacd = c
add = d
bbb = bbbc = cbbd = d
bcc = bbcd = a
bdd = c
ccc = cccd = d
cdd = b
ddd = a
ad, bb, cc
5
aaa = aaab = baac = caad = d
abb = dabc = aabd = c
acc = dacd = b
add = a
bbb = cbbc = bbbd = a
bcc = cbcd = d
bdd = b
ccc = bccd = a
cdd = c
ddd = d
aa, bc, dd
6
aaa = aaab = baac = caad = d
abb = cabc = dabd = a
acc = aacd = b
add = c
bbb = dbbc = abbd = b
bcc = bbcd = c
bdd = d
ccc = cccd = d
cdd = a
ddd = b
aa, bd, cc
7
aaa = aaab = baac = caad = d
abb = aabc = dabd = c
acc = bacd = a
add = b
bbb = bbbc = cbbd = d
bcc = abcd = b
bdd = a
ccc = dccd = c
cdd = d
ddd = c
aa, bb, cd
8
aaa = baab = aaac = daad = c
abb = babc = cabd = d
acc = bacd = a
add = b
bbb = abbc = dbbd = c
bcc = abcd = b
bdd = a
ccc = dccd = c
cdd = d
ddd = c
ab, cd
9
aaa = caab = aaac = daad = b
abb = babc = cabd = d
acc = bacd = a
add = c
bbb = dbbc = abbd = c
bcc = dbcd = b
bdd = a
ccc = accd = c
cdd = d
ddd = b
ab, cd
10
aaa = daab = aaac = baad = c
abb = babc = cabd = d
acc = dacd = a
add = b
bbb = cbbc = dbbd = a
bcc = abcd = b
bdd = c
ccc = bccd = c
cdd = d
ddd = a
ab, cd
11
aaa = baab = daac = aaad = c
abb = cabc = babd = a
acc = cacd = d
add = b
bbb = abbc = dbbd = b
bcc = abcd = c
bdd = d
ccc = dccd = b
cdd = a
ddd = c
ac, bd
12
aaa = caab = daac = aaad = b
abb = cabc = babd = a
acc = cacd = d
add = c
bbb = dbbc = abbd = b
bcc = dbcd = c
bdd = d
ccc = accd = b
cdd = a
ddd = b
ac, bd
13
aaa = daab = caac = aaad = b
abb = dabc = babd = a
acc = cacd = d
add = c
bbb = cbbc = abbd = b
bcc = dbcd = c
bdd = d
ccc = bccd = a
cdd = b
ddd = a
ac, bd
14
aaa = baab = caac = daad = a
abb = dabc = aabd = b
acc = bacd = c
add = d
bbb = abbc = bbbd = c
bcc = cbcd = d
bdd = a
ccc = dccd = a
cdd = b
ddd = c
ad, bc
15
aaa = caab = daac = baad = a
abb = cabc = aabd = b
acc = dacd = c
add = d
bbb = dbbc = bbbd = a
bcc = cbcd = d
bdd = c
ccc = accd = b
cdd = a
ddd = b
ad, bc
16
aaa = daab = caac = baad = a
abb = dabc = aabd = b
acc = dacd = c
add = d
bbb = cbbc = bbbd = a
bcc = cbcd = d
bdd = c
ccc = bccd = a
cdd = b
ddd = a
ad, bc

Values for the operations that are not cyclically commutativeIdentities
17
aaa = aaab = baac = caad = d
aba = babb = aabc = dabd = c
aca = dacb = cacc = aacd = b
ada = cadb = dadc = badd = a
bab = abac = dbad = c
bbb = bbbc = cbbd = d
bcb = dbcc = bbcd = a
bdb = cbdc = abdd = b
cac = bcad = a
cbc = acbd = b
ccc = cccd = d
cdc = dcdd = c
dad = b
dbd = a
dcd = c
ddd = d
aa, bb, cc, dd
18
aaa = aaab = baac = caad = d
aba = cabb = aabc = dabd = b
aca = bacb = dacc = aacd = c
ada = dadb = cadc = badd = a
bab = dbac = abad = c
bbb = bbbc = cbbd = d
bcb = cbcc = bbcd = a
bdb = abdc = dbdd = b
cac = dcad = b
cbc = bcbd = a
ccc = cccd = d
cdc = acdd = c
dad = a
dbd = c
dcd = b
ddd = d
aa, bb, cc, dd
19
aaa = aaab = baac = caad = d
aba = dabb = aabc = babd = c
aca = cacb = dacc = aacd = b
ada = badb = cadc = dadd = a
bab = cbac = dbad = a
bbb = bbbc = cbbd = d
bcb = abcc = bbcd = c
bdb = dbdc = abdd = b
cac = acad = b
cbc = dcbd = a
ccc = cccd = d
cdc = bcdd = c
dad = c
dbd = b
dcd = a
ddd = d
aa, bb, cc, dd
20
aaa = aaab = baac = caad = d
aba = babb = aabc = dabd = c
aca = dacb = cacc = bacd = a
ada = cadb = dadc = aadd = b
bab = abac = dbad = c
bbb = bbbc = cbbd = d
bcb = dbcc = abcd = b
bdb = cbdc = bbdd = a
cac = acad = b
cbc = bcbd = a
ccc = dccd = c
cdc = ccdd = d
dad = a
dbd = b
dcd = d
ddd = c
aa, bb, cd, dc
21
aaa = aaab = baac = caad = d
aba = dabb = cabc = babd = a
aca = cacb = dacc = aacd = b
ada = badb = aadc = dadd = c
bab = abac = dbad = c
bbb = dbbc = abbd = b
bcb = cbcc = bbcd = a
bdb = bbdc = cbdd = d
cac = acad = b
cbc = dcbd = c
ccc = cccd = d
cdc = bcdd = a
dad = a
dbd = d
dcd = c
ddd = b
aa, cc, bd, db
22
aaa = aaab = baac = caad = d
aba = cabb = dabc = aabd = b
aca = bacb = aacc = dacd = c
ada = dadb = cadc = badd = a
bab = abac = dbad = c
bbb = cbbc = bbbd = a
bcb = bbcc = cbcd = d
bdb = dbdc = abdd = b
cac = acad = b
cbc = ccbd = d
ccc = bccd = a
cdc = dcdd = c
dad = a
dbd = c
dcd = b
ddd = d
aa, dd, bc, cb
23
aaa = daab = caac = baad = a
aba = babb = aabc = dabd = c
aca = cacb = dacc = aacd = b
ada = aadb = badc = cadd = d
bab = dbac = abad = b
bbb = bbbc = cbbd = d
bcb = cbcc = bbcd = a
bdb = abdc = dbdd = c
cac = dcad = c
cbc = bcbd = a
ccc = cccd = d
cdc = acdd = b
dad = d
dbd = b
dcd = c
ddd = a
bb, cc, ad, da
24
aaa = caab = daac = aaad = b
aba = babb = aabc = dabd = c
aca = aacb = bacc = cacd = d
ada = dadb = cadc = badd = a
bab = cbac = bbad = a
bbb = bbbc = cbbd = d
bcb = abcc = dbcd = c
bdb = dbdc = abdd = b
cac = ccad = d
cbc = bcbd = a
ccc = accd = b
cdc = dcdd = c
dad = c
dbd = b
dcd = a
ddd = d
bb, dd, ac, ca
25
aaa = baab = aaac = daad = c
aba = aabb = babc = cabd = d
aca = cacb = dacc = aacd = b
ada = dadb = cadc = badd = a
bab = bbac = cbad = d
bbb = abbc = dbbd = c
bcb = cbcc = bbcd = a
bdb = dbdc = abdd = b
cac = bcad = a
cbc = acbd = b
ccc = cccd = d
cdc = dcdd = c
dad = b
dbd = a
dcd = c
ddd = d
cc, dd, ab, ba
26
aaa = baab = aaac = daad = c
aba = aabb = babc = cabd = d
aca = cacb = dacc = bacd = a
ada = dadb = cadc = aadd = b
bab = bbac = cbad = d
bbb = abbc = dbbd = c
bcb = cbcc = abcd = b
bdb = dbdc = bbdd = a
cac = acad = b
cbc = bcbd = a
ccc = dccd = c
cdc = ccdd = d
dad = a
dbd = b
dcd = d
ddd = c
ab, ba, cd, dc
27
aaa = caab = daac = aaad = b
aba = babb = cabc = dabd = a
aca = aacb = bacc = cacd = d
ada = dadb = aadc = badd = c
bab = abac = bbad = c
bbb = dbbc = abbd = b
bcb = cbcc = dbcd = a
bdb = bbdc = cbdd = d
cac = ccad = d
cbc = bcbd = c
ccc = accd = b
cdc = dcdd = a
dad = a
dbd = d
dcd = c
ddd = b
ac, ca, bd, db
28
aaa = daab = caac = baad = a
aba = babb = dabc = aabd = c
aca = cacb = aacc = dacd = b
ada = aadb = badc = cadd = d
bab = abac = dbad = b
bbb = cbbc = bbbd = a
bcb = bbcc = cbcd = d
bdb = dbdc = abdd = c
cac = acad = c
cbc = ccbd = d
ccc = bccd = a
cdc = dcdd = 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.