부정논리합: 두 판 사이의 차이

내용 삭제됨 내용 추가됨

인라인

2018년 7월 14일 (토) 19:22 판

부정논리합(否定論理合)은 주어진 복수의 명제가 모두 거짓인지 보는 논리 연산이다. NOR라고도 한다.

일반적으로 NOR는 다음과 같이 정의된다.

A NOR B = NOT (A OR B)

일반적으로 논리 연산은 논리곱(AND), 논리합(OR), 부정(NOT)의 구성으로 표현 가능하다. 하지만, NOR만으로도 모든 논리 연산을 표현할 수 있다. AND, OR, NOT 역시 NOR로 표현할 수 있기 때문이다.

@@ 3번째 줄: / 3번째 줄: @@
 == 특징 ==
+일반적으로 NOR는 다음과 같이 정의된다.
+'''A''' NOR '''B''' = NOT ('''A''' OR '''B''')
-일반적으로 논리 연산은 [[논리곱]](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''' )
 === 진리표 ===
@@ 23번째 줄: / 20번째 줄: @@
 | 거짓 || 거짓 || '''참'''
 |}
+=== 응용 ===
+일반적으로 논리 연산은 [[논리곱]](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''' )
 == 같이 보기 ==
 * [[부정논리곱]]