A And B Or A And Not B を簡約