三角乗法を考えはじめた目的は
四則演算に次ぐ簡易な性質を持つ新規の演算を見つける
ことでした。

前章の結果は既知の２項演算 bitwise xor ということでした。
新規な演算を見つけることはできませんでしたが
三角乗法が簡易な性質を持つ可能性は示せたと考えます。

>>114 の３つの条件のうち、
定義１
だけならば、最も一般的な３項演算を表わします。
そこに定義２、公理１を付け加えることで
演算の集合が制限され、一意な bitwise xor が残った
ということです。

そこで今後は、定義２、公理１の条件を緩める・変更することで
新規な演算が得られるか探索していきます。