아... 중학교때인가 고등학교때... 수학 시간에 들었던것 같은데... 하시는 분들이 대부분이지 싶은데...ㅎㅎ
쿼리를 만들다가... 논리식 변환을 하려니 갑자기 헷갈리더군요...
찾아낸 논리식이 Not ( A OR B ) 인데... [ 여기서 A와 B는 관계식 으로 a>3 b<=5 등과 같다고 보면되고.. ]
이걸 쿼리에 그대로 적자니 지저분해서 괄호도 떼 내고 앞에 Not도 떼내고 적는게 좋을 것 같아...
(Not A) AND (Not B)로 바꾸어 적용하는게 좋을 것 같다라는 생각을 했는데...
[ 참고로, 관계식 A가 a>3 일 경우에 (Not A)는 a<=3으로 바뀌어 (Not A)라는 표현식이 보이는 것처럼 복잡한건 아니겠고..]
순간적으로 (Not A) NOR (Not B)로 바뀌어야 하는게 아닌가 하는 느낌이 들더군요. ㅎㅎ
어?? OR이 AND로 바뀌는 게 맞지 라는 생각도 들고...ㅎㅎㅎ
맞는 것 같은데... 이상하다?? 아닌가?? 정말 맞을까?? 진리표를 모두 만들어 비교해 봐야 하나..? 하다가...
인터넷 검색을 해 보았네요.
드모르 간 정리로 괄호 밖에 있는 부정을 괄호 안으로 넣을때 AND는 OR로, OR은 AND로 변한다는게 간단하게 정리되네요.
참고할 수 있게, 논리식 간소화 시키는 다양한 법칙들을 함께 올려 봅니다.
드 모르간 (De Morgan)의 정리에 대한 논리 회로로 표현해 보면 아래와 같고...
카로노 맵을 이용한 논리식 간략화 방법도 있고요~
예전에 논리 회로를 공부하면서 수도 없이 다루었던 법칙들이 세월이 흐르다 보니... 가물 가물한게...ㅎㅎㅎ
쿼리나 각종 프로그램을 만들려면 한번씩 참조해가면서 기억을 상기 시켜보면서 일하는게 업무에 여러모로 도움이 될거 같아 보네요.
9개의 댓글이 있습니다.
급... 학창시절 모드가
헉~~ 드 모르간 정리....
분명 드러 봤는데.... 식은 전혀 생각이 안나네요 ㅋㅋㅋㅋ
근의 공식도 다 까먹어서~~~ ^^
정말 그때는 이런걸 어디다 써 먹나 했는데, 정말 아주~~~~ 가~~~~~끔 쓰이더라구요 ㅋㅋ
제, 예측과 달리 많은 분들에게 드 모르간의 정리가 생소한가 보네요~ ^^;;
내용은 몰라도 이름은 들어 본것 같다는 생각을 할거라 추측했었는데... ㅎㅎㅎ
학창 시절에 수학 선생님께서 알간? 모르간? 하면서 설명을 하지 않았을 까 싶기도 해서 기억에 오래 남아 있지 않을까 싶기도 했는데... ㅎㅎㅎ
드 모르간의 정리는 수학자 오거스터스 드 모르간의 이름을 따서 지은 이름이고,
수리 논리학에서 교집합(논리곱), 합집합(논리합)에 대한 여집합(부정) 연산 간의 관계를 정리한 내용이고,
집합 식으로 표현하면...
위 두 개의 등식이 성립한다는 내용이고,
두 집합에 대한 합집합의 여집합은 각각에 대한 여집합의 교집합과 같고,
두 집합에 대한 교집합의 여집합은 각각에 대한 여집합의 합집합과 같다는 내용으로
수학 교과서에 설명되어 있지 않을까 싶어 보이네요.
으 머리가 어지럽네요
저는 봐도 기억이 안나네요~수포자라서 그런가요~ㅎㅎ
헐 이런걸 어케 다 기억하시는지 ㄷㄷ
오랜만에 들어보네요. ㅎ
수학시간 였는지는 기억이 나지 않고
논리회로에서 비슷한 그림을 봤던 기억이 나네요. ㅎ
드모르 간 오랜만에 듣네요..
근데 이게 수학시간에 나오는 것이였군요..
전 컴퓨터구조, 논리회로 이런 과목에서 나왔던 기억이
진리표, 부울대수, 카르노 맵 다 오랜만입니다..
저것들을 기반으로 지금 써먹는 곳은 if, where
OR를 부정하면 AND가 맞습니다.
집합, 명제 등에서 나왔던걸로 기억되네요.
합집합, 교집합, 논리합, 논리곱하면서...
합집합이 OR이고, 교집합이 AND에 매칭되겠고... ^^
저는 논리 회로 공부하면서도 공부했고, 논리학을 따로 공부하면서 공부했었는데...
요즘들어서 가물가물하네요~ ㅎㅎㅎ