:$ 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