부정논리합: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 로봇이 바꿈: pl:Binegacja |
잔글 로봇이 더함: ro:NOR logic |
||
47번째 줄: | 47번째 줄: | ||
[[pl:Binegacja]] |
[[pl:Binegacja]] |
||
[[pt:NOU (NOR)]] |
[[pt:NOU (NOR)]] |
||
[[ro:NOR logic]] |
|||
[[ru:Стрелка Пирса]] |
[[ru:Стрелка Пирса]] |
||
[[th:NOR (ตรรกศาสตร์)]] |
[[th:NOR (ตรรกศาสตร์)]] |
2009년 2월 21일 (토) 09:25 판
부정논리합은 주어진 복수의 명제가 모두 거짓인지 보는 논리 연산이다. 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 |
---|---|---|
참 | 참 | 거짓 |
참 | 거짓 | 거짓 |
거짓 | 참 | 거짓 |
거짓 | 거짓 | 참 |