드모르간 법칙(De Morgan's laws)은 '각 조건을 부정하고 논리곱(&&)을 논리합(||)으로, 논리합을 논리곱으로 바꾸고 다시 전체를 부정하면, 원래의 조건과 같다.'라는 것이다.
예시는 다음과 같다.
1. x && y
1) 각 조건 부정 : x && y > !x && !y
2) 논리연산자 반전 : !x && !y > !x || !y
3) 전체 부정 : !x || !y > !(!x || !y)
따라서 x && y == !(!x || !y) 이다.
2. x || y
1) 각 조건 부정 : x || y > !x || !y
2) 논리연산자 반전 : !x || !y > !x && !y
3) 전체 부정 : !x && !y > !(!x && !y)
따라서 x || y == !(!x && !y) 이다.
제너릭스와 Comparable, Comparator (0) | 2023.01.09 |
---|---|
Java import선언과 Java.lang 패키지 + 클래스 메서드와 인스턴스 메서드 (0) | 2023.01.09 |
배열 검색 알고리즘 (선형 검색, 이진 검색) (0) | 2023.01.09 |
기본 자료구조 (클래스) (0) | 2023.01.06 |
기본 자료구조 (배열+수학알고리즘) (0) | 2023.01.06 |