常用逻辑等值式(关于 双重否定律( double negation law - AeA 壽德●摩根律( DeMorgan's laws) (AVBe-AA-B (AABS-AV-B 《集合论与图论》第1讲《集合论与图论》第1讲 10 常用逻辑等值式(关于¬) 双重否定律(double negation law) ¬¬A⇔A 德●摩根律(DeMorgan’s laws) ¬(A∨B)⇔¬A∧¬B ¬(A∧B)⇔¬A∨¬B