부정논리합: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
잔글 봇: 틀 이름 및 스타일 정리 |
||
1번째 줄: | 1번째 줄: | ||
[[파일:Venn1000.svg|220px| |
[[파일:Venn1000.svg|220px|섬네일|<math>~A \downarrow B</math>의 [[벤 다이어그램]].<br />(nor는 빨간 부분)]] |
||
'''부정논리합'''(否定論理合)은 주어진 복수의 [[명제]]가 모두 거짓인지 보는 [[논리 연산]]이다. '''NOR'''라고도 한다. |
'''부정논리합'''(否定論理合)은 주어진 복수의 [[명제]]가 모두 거짓인지 보는 [[논리 연산]]이다. '''NOR'''라고도 한다. |
||
11번째 줄: | 11번째 줄: | ||
|- style="background-color:#cccccc" |
|- style="background-color:#cccccc" |
||
! 명제 ''P'' !! 명제 ''Q'' !! ''P'' NOR ''Q'' |
! 명제 ''P'' !! 명제 ''Q'' !! ''P'' NOR ''Q'' |
||
|- align="center" |
|- align="center" |
||
| 참 || 참 || '''거짓''' |
| 참 || 참 || '''거짓''' |
||
|- align="center" |
|- align="center" |
||
26번째 줄: | 26번째 줄: | ||
*NOT '''A''' = '''A''' NOR '''A''' |
*NOT '''A''' = '''A''' NOR '''A''' |
||
* '''A''' AND '''B''' = ( NOT '''A''' ) NOR ( NOT '''B''' ) = ( '''A''' NOR '''A''' ) NOR ( '''B''' NOR '''B''' ) |
* '''A''' AND '''B''' = ( NOT '''A''' ) NOR ( NOT '''B''' ) = ( '''A''' NOR '''A''' ) NOR ( '''B''' NOR '''B''' ) |
||
* '''A''' OR '''B''' = NOT ( '''A''' NOR '''B''' ) = ( '''A''' NOR '''B''' ) NOR ( '''A''' NOR '''B''' ) |
* '''A''' OR '''B''' = NOT ( '''A''' NOR '''B''' ) = ( '''A''' NOR '''B''' ) NOR ( '''A''' NOR '''B''' ) |
||
== 같이 보기 == |
== 같이 보기 == |
2018년 9월 16일 (일) 03:52 판
부정논리합(否定論理合)은 주어진 복수의 명제가 모두 거짓인지 보는 논리 연산이다. NOR라고도 한다.
특징
일반적으로 NOR는 다음과 같이 정의된다.
A NOR B = NOT (A OR B)
진리표
명제 P | 명제 Q | P NOR Q |
---|---|---|
참 | 참 | 거짓 |
참 | 거짓 | 거짓 |
거짓 | 참 | 거짓 |
거짓 | 거짓 | 참 |
응용
일반적으로 논리 연산은 논리곱(AND), 논리합(OR), 부정(NOT)의 구성으로 표현 가능하다. 하지만, NOR만으로도 모든 논리 연산을 표현할 수 있다. AND, OR, NOT 역시 NOR로 표현할 수 있기 때문이다.
- NOT A = A NOR A
- A AND B = ( NOT A ) NOR ( NOT B ) = ( A NOR A ) NOR ( B NOR B )
- A OR B = NOT ( A NOR B ) = ( A NOR B ) NOR ( A NOR B )