(AnØ)' n (AuB')' =? ​