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