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

Modified Sun Mar 25 08:48:47 2007 generated Sun Mar 25 08:56:33 2007
http://jeff.tk/trinary/unary.html