p <-> q;
p | q;
~(p & q)