集合恒等式(关于-) 双重否定律( double complement law AA 德●摩根律( DeMorgan|aws) (A∪B)=~A~B (A⌒B=~A~B 《集合论与图论》第4讲《集合论与图论》第4讲 5 集合恒等式(关于~) 双重否定律(double complement law) ~~A=A 德●摩根律(DeMorgan’s laws) ~(A∪B)=~A∩~B ~(A∩B)=~A∪~B