((A intersection complement B) intersection C) union ((A intersection B) intersection C)