任意a属于~(A∩B),a不属于(A∩B),a不属于a或a不属于b,即a属于~A或a属于~B,即a属于~A∪~B.左边包含于右边
任意a属于~A∪~B,a属于~A或者a属于~B,于是a不属于A或者a不属于B,a不属于(A∩B),a属于~(A∩B).右边包含于左边.
左右相等