논리연산 편집하기
최신판 | 당신의 편집 | ||
135번째 줄: | 135번째 줄: | ||
=== 동치 (EQV; =) === | === 동치 (EQV; =) === | ||
두 명제가 다 참이거나 다 거짓이면, 혹은 두 명제의 참거짓 값이 같으면 참값을 돌려준다. 배타적 부정 논리합 (XNOR) 또는 배타적 논리곱이라고도 한다. 수학적으로는 [[크로네커 델타]](Kronecker delta)로 정의돼 있다. [[C언어]] 및 여기서 파생한 프로그래밍 언어에선 =는 대입을 의미하므로 =를 두개 사용해 ==로 동치를 계산한다. | 두 명제가 다 참이거나 다 거짓이면, 혹은 두 명제의 참거짓 값이 같으면 참값을 돌려준다. 배타적 부정 논리합 (XNOR) 또는 배타적 논리곱이라고도 한다. 수학적으로는 [[크로네커 델타]](Kronecker delta)로 정의돼 있다. [[C언어]] 및 여기서 파생한 프로그래밍 언어에선 =는 대입을 의미하므로 =를 두개 사용해 ==로 동치를 계산한다. | ||
− | [[파일:크로네크델타.png|썸네일|200픽셀|크로네커 델타]] | + | [[파일:크로네크델타.png|썸네일|200픽셀|가운데|크로네커 델타]] |
:{|class=wikitable width=200 | :{|class=wikitable width=200 | ||
|- | |- | ||
255번째 줄: | 255번째 줄: | ||
이걸 이용해 드모르간 법칙을 쉽게 증명할 수 있을 뿐만 아니라 성질 항목에 나와있는 한쌍의 공식이 서로를 유도할 수 있다는 걸 쉽게 보일 수 있다. | 이걸 이용해 드모르간 법칙을 쉽게 증명할 수 있을 뿐만 아니라 성질 항목에 나와있는 한쌍의 공식이 서로를 유도할 수 있다는 걸 쉽게 보일 수 있다. | ||
− | |||
=== 합의(Consensus) 법칙 === | === 합의(Consensus) 법칙 === | ||
:{|class=wikitable width=400 | :{|class=wikitable width=400 | ||
361번째 줄: | 360번째 줄: | ||
* 〈[https://terms.naver.com/entry.nhn?docId=4383225&cid=59941&categoryId=59941 논리연산]〉, 《네이버지식백과》 | * 〈[https://terms.naver.com/entry.nhn?docId=4383225&cid=59941&categoryId=59941 논리연산]〉, 《네이버지식백과》 | ||
* 〈[https://ko.wikipedia.org/wiki/%EB%85%BC%EB%A6%AC_%EC%97%B0%EC%82%B0 논리연산]〉, 《위키백과》 | * 〈[https://ko.wikipedia.org/wiki/%EB%85%BC%EB%A6%AC_%EC%97%B0%EC%82%B0 논리연산]〉, 《위키백과》 | ||
+ | |||
== 같이 보기 == | == 같이 보기 == | ||
− | |||
* [[논리곱]] | * [[논리곱]] | ||
* [[논리합]] | * [[논리합]] | ||
370번째 줄: | 369번째 줄: | ||
{{암호 알고리즘|검토 필요}} | {{암호 알고리즘|검토 필요}} | ||
− |