An (A'u B)' u ( A'n B)​