notU_inv(inv_sel，sel);andU_anda(asel，a，inv_sel)，andU_andb(bsel，b，sel);orU_or(y，asel，bsel);