Ternary logic: Difference between revisions
Content added Content deleted
(Add bruijn) |
(Add link to application) |
||
Line 937: | Line 937: | ||
=={{header|Bruijn}}== |
=={{header|Bruijn}}== |
||
Direct translations of the truth tables to lambda calculus. The operators could be golfed significantly. If you do so, please add them here! |
Direct translations of the truth tables to lambda calculus. The operators could be golfed significantly. If you do so, please add them here! |
||
For applications of Ternary logic, see bruijn's [[Balanced_ternary#Bruijn|balanced ternary]] implementation. |
|||
<syntaxhighlight lang="bruijn"> |
<syntaxhighlight lang="bruijn"> |
||
true [[[0]]] |
true [[[0]]] |