A|B
~A|~B
~A|B