①의 좌변에 드모르간 정리를 적용하면 (A+B)+CD=(A+B)⋅CD=AB⋅(C+D) 가 되어, 우변 AB(C+D) 와 일치하지 않으므로 ① 이 틀린 식이다. ② (A+B)B=AB+BB=AB 이고, ③ (A+B)(A+B)=B+AA=B 이므로 모두 성립한다. ④ 는 AB+AC=A(B+C)=A+BC 라는 드모르간 정리의 형태로 보는 것이 통상이며, 이 경우 등식이 성립한다. 핵심은 드모르간 정리에서 괄호 전체의 부정을 각 항의 부정으로 풀 때 합(OR)↔곱(AND)이 서로 바뀐다는 점이다.