동치

동치

• '논리적으로 일치한다'는 의미
• 흔히 동치는 같은 의미를 가진 더 쉬운 명제를 발견하는데 사용
• 동치법칙에는 다양한 종류가 있다.
  굉장히 복잡해 보이는 합성명제라도 간단한 명제로 바꿀 수 있다.

드모르간 법칙

흡수 법칙

합집합 연산을 하거나 교집합 연산을 할 때 양쪽에 있는 두 변 중 하나만 남겨지기 때문에 붙은 이름

한쪽이 다른 쪽에 흡수된다는 의미

부정법칙

여집합이 반대의 의미를 갖기 때문에 붙여진 이름

함축 법칙