(A || B) & E & (C || D)