27 Unary Trinary Functions

F#  ITE  Expression
001 210 \A     �A
002 220 ]/'A   ��A
010 100 \]A    ��A
011 001 \/A    ��A
020 120 ]/['A  ���A
022 002 [\'A   ��A
100 010 \'A    �A
101 101 [/['A  ���A
110 210 [/'A   ��A
112 221 /\A    ��A
121 121 ]\]A   ���A
122 012 /A     �A
200 020 ]/A    ��A
202 102 [\]A   ���A
211 021 ]\'A   ��A
212 112 /['A   ��A
220 202 [\A    ��A
221 212 /'A    �A

ITE F#  Expression
001 011 \/A    ��A
002 022 [\'A   ��A
010 100 \'A    �A
012 122 /A     �A
020 200 ]/A    ��A
021 211 ]\'A   ��A
101 101 [/['A  ���A
102 202 [\]A   ���A
110 010 \]A    ��A
112 212 /['A   ��A
120 020 ]/['A  ���A
121 121 ]\]A   ���A
201 110 [/'A   ��A
202 220 [\A    ��A
210 001 \A     �A
212 221 /'A    ��A
220 002 ]/'A   ��A
221 112 /\A    ��A

F#  Name    Diff:012 Inverse   Expression
012 buffer       '''  012      A    A
021 swap 1/2     '/\  021      ['A  �A
102 swap 0/1     /\'  102      ]'A  �A
120 rotate up    ///  201      ]A   �A
201 rotate down  \\\  120      [A   �A
210 swap 0/2     \'/  210      'A   A

Algebraic Laws
'(/A) = \'A = \[A
'(\A) = /'A = /]A
'([A) = ]'A
'(]A) = ['A
]]A = [A
[[A = ]A
][A = []A = A
''A = A
\\A = 0
//A = 2