这道题就是不会把当B为空集的式子列不出来.