mirror of
https://github.com/Reuh/anselme.git
synced 2025-10-28 09:09:31 +00:00
23 lines
153 B
Text
23 lines
153 B
Text
:$ a
|
|
a
|
|
@1
|
|
|
|
:$ b
|
|
b
|
|
@0
|
|
|
|
{a & b} = a b 0
|
|
|
|
{b & a} = b 0
|
|
|
|
{a & a} = a a 1
|
|
|
|
{b & b} = b 0
|
|
|
|
{a | b} = a 1
|
|
|
|
{b | a} = b a 1
|
|
|
|
{a | a} = a 1
|
|
|
|
{b | b} = b b 0
|