부정논리합: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
벤다이어그램 주석 수정 태그: m 모바일 웹 |
||
1번째 줄: | 1번째 줄: | ||
[[파일:Venn1000.svg|220px|thumb|<math>~A \downarrow B</math>의 [[벤 다이어그램]].<br />( |
[[파일:Venn1000.svg|220px|thumb|<math>~A \downarrow B</math>의 [[벤 다이어그램]].<br />(nor는 빨간 부분)]] |
||
'''부정논리합'''은 주어진 복수의 [[명제]]가 모두 거짓인지 보는 [[논리 연산]]이다. '''NOR'''라고도 한다. |
'''부정논리합'''은 주어진 복수의 [[명제]]가 모두 거짓인지 보는 [[논리 연산]]이다. '''NOR'''라고도 한다. |
||
2017년 3월 16일 (목) 12:52 판
부정논리합은 주어진 복수의 명제가 모두 거짓인지 보는 논리 연산이다. NOR라고도 한다.
특징
일반적으로 논리 연산은 논리곱(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 )
진리표
명제 P | 명제 Q | P NOR Q |
---|---|---|
참 | 참 | 거짓 |
참 | 거짓 | 거짓 |
거짓 | 참 | 거짓 |
거짓 | 거짓 | 참 |