반응형
[이산수학]드 모르간(De-Morgan) 법칙이란?
드 모르간의 법칙은 AND와 OR연산을 서로 바꾸고, 각 변수의 보수(부정)을 취합니다. 집합론에도 적용됩니다.
■ 드 모르간의 제 1법칙
A x B의 보수를 취한 것이 A의 보수와 B의 보수를 합한 것과 같습니다.
■ 드 모르간의 제 2법칙
A + B의 보수를 취한 것이 A의 보수와 B의 보수를 곱한 것과 같습니다.
불 대수를 적용해 진리표를 그려보면 쉽게 확인할 수 있습니다. 참(1), 거짓(0)으로 작성한 표입니다.
파란색 네모가 드 모르간의 제 1법칙이고, 빨간색 네모가 드 모르간의 제 2법칙입니다.
드 모드간 법칙이 프로그래밍시 자주 적용되는 부분은 아래와 같습니다.
if문 조건을 작성할 때 20세 이상이고 140 이상은 경우의 부정이어야만 놀이기구를 탈 수 있다고 하면 굉장히 복잡합니다. 한번에 의미를 파악할 수 없습니다. 하지만 20세 미만이거나 키가 140미만이면 탈 수 있다고 하면 간단합니다.
-----------------------------------
-----------------------------------
반응형
'컴퓨터 공학 > Software Math' 카테고리의 다른 글
[이산수학]조건명제(함축)이란?예시로 쉽게 이해하기/함축진리표 (401) | 2020.07.29 |
---|---|
[이산수학]교환법칙, 결합법칙, 분배법칙, 흡수법칙이란?_진리표첨부 (400) | 2020.07.28 |
프로그래머를 위한 이산수학 총정리_수학으로 이해하는 디지털 논리: 이산수학(한빛미디어, 박주미지음) (428) | 2020.07.27 |
[이산수학]합성명제(Compound), 항진명제(Tautology), 모순명제(Contradicition)란? (408) | 2020.07.27 |
[이산수학]논리연산자란?(부정, 논리곱, 논리합, 배타적 논리합)_진리표로 나타내기 (368) | 2020.07.27 |
댓글