(a=bまたはa=-b)かつ(c=0またはa=-b)⇔(a=b,c=0)または(a=-b)
であってますか？