Anonymous user
Logical operations: Difference between revisions
logical operations in BLC
m (→{{header|Wren}}: Changed to Wren S/H) |
imported>Tromp (logical operations in BLC) |
||
Line 911:
print "not a: ", !a, "\n"
}</syntaxhighlight>
=={{header|Binary Lambda Calculus}}==
Minimal definitions of the logical operations in lambda calculus are: and = <code>\a\b.a b a</code>, or = <code>\a\b.a a b</code>, not = <code>\b\x\y.b y x</code>. In BLC these are <code>00 00 01 01 110 10 110</code>, or = <code>00 00 01 01 110 110 10</code>, not = <code>00 00 00 01 01 1110 10 110</code> respectively.
=={{header|BQN}}==
|