Logical operations: Difference between revisions
Content added Content deleted
m (→{{header|Wren}}: Changed to Wren S/H) |
imported>Tromp (logical operations in BLC) |
||
| Line 911: | Line 911: | ||
print "not a: ", !a, "\n" |
print "not a: ", !a, "\n" |
||
}</syntaxhighlight> |
}</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}}== |
=={{header|BQN}}== |
||