なら、(A~)(B~) + AB が、はたして、
排他的論理和の否定かどうか調べればいいだけじゃん。