부정논리곱 문서 원본 보기

[[파일:Venn1110.svg|섬네일]]
'''부정논리곱'''(否定論理積)은 주어진 복수의 [[명제]] 중 거짓이 포함되었는지 보는 [[논리 연산]]이다. '''NAND'''라고도 한다.

== 특징 ==
일반적으로 NAND는 다음과 같이 정의된다.

'''A''' NAND '''B''' = NOT ('''A''' AND '''B''')

=== 진리표 ===
{| border="1" cellpadding="2" cellspacing="0"
|- style="background-color:#cccccc"
! 명제 ''P'' !! 명제 ''Q'' !! ''P'' NAND ''Q''
|- align="center"
| 참 || 참 || '''거짓'''
|- align="center"
| 참 || 거짓 || '''참'''
|- align="center"
| 거짓 || 참 || '''참'''
|- align="center"
| 거짓 || 거짓 || '''참'''
|}

=== 응용 ===
일반적으로 논리 연산은 [[논리곱]](AND), [[논리합]](OR), [[부정]](NOT)의 구성으로 표현 가능하다. 하지만, NAND는 모든 논리 연산을 표현할 수 있다. AND, OR, NOT 역시 NAND로 표현할 수 있다.

*NOT '''A''' = '''A''' NAND '''A'''
* '''A''' AND '''B''' = NOT ( '''A''' NAND '''B''' ) = ( '''A''' NAND '''B''' ) NAND ( '''A''' NAND '''B''' )
* '''A''' OR '''B''' = ( NOT '''A''' ) NAND ( NOT '''B''' ) = ( '''A''' NAND '''A''' ) NAND ( '''B''' NAND '''B''' )

초기의 [[집적 회로]]([[표준 논리 IC]])는 부품이 고가였기 때문에 가장 회로 구성이 간단한 NAND를 이용하여 다양한 [[논리 회로]]를 설계하였다.

== 같이 보기 ==
* [[부정논리합]]
* [[논리곱]]
* [[진리값]]
* [[진리표]]
* [[불 대수]]
* [[벤 다이어그램]]

{{논리 연산}}
{{위키데이터 속성 추적}}

[[분류:논리학]]