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

Valid HTML 4.0?

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