((A & B)' | (A & C & (A & B & D)'));