&と|と^について20分悩んだけど、理解できた。0/1に直さないとならんのね…。
それで、上の演算子の式に使える版が and,or,xorと。