オレが問題をだしてあげよう。
((c|d)&(a==c)&(b==d))|(!(c|d)&((a==c)|(b==d)))
を簡単にせよ。