부정연산(NOT, 否定)은 수리 논리학에서 명제의 참과 거짓을 반전하는 논리 연산이다. 논리부정이라고도 한다. 즉 논리 연산에서, 출력이 입력의 반대로 나오는 연산. 입력이 '참'이면 출력은 '거짓'으로, 입력이 '거짓'이면 출력은 '참'으로 나온다. 명제 P에 대한 부정을 ¬P, 
~p,!P등으로 쓰고, "P 가 아니다", "P 의 부정", "P 이외의 경우"라고 읽는다.
말 그대로 부정(否定)이다. 즉, 참과 거짓을 뒤집는다. C언어의 영향을 받은 프로그래밍 언어에서는 일반적으로 !를 부정 연산자로 사용하며, 그 외에 ~A도 많은 프로그래밍 언어에서 사용되며, 필기나 서적 등에서는 A' 또는 A 위에 ㅡ를 그려넣은
기호가 주로 쓰인다. 불 보수(Boolean Complement)로도 불린다. 이 연산을 하는 회로는 따로 보수기(inverter)라는 이름으로 불린다.
| NOT 연산 결과
|
| 입력값
|
반환값
|
| 0
|
1
|
| 1
|
0
|
라는 명제의 부정은
이다.
다른 연산과 다르게, 대상이 되는 명제가 하나라서 단항 연산인 것을 알 수 있다.
진리표[편집]
동작논리[편집]
부정연산(NOT)은 입력 값의 반대로 출력되는 논리를 가지고 있다. 즉, 0이 들어가면 1, 1이 들어가면 0이 나오는 논리이다. 입력이 A라면 논리부정의 결과는 A’으로 표현한다.
공원이 "매주 월요일에 쉰다"고 할 때 공원이 운영되는 날을 논리식으로 표현해 보면
논리부정 연산 결과를 표로 정리해 보면,
논리부정(NOT)의 논리를 집합으로 표현한 그래프
참고자료[편집]
같이 보기[편집]
|
 이 부정연산 문서는 수학에 관한 글로서 검토가 필요합니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 문서 내용을 검토·수정해 주세요.
|
| 일반 : 자연, 시공간, 생물, 동물, 식물, 정치, 법률, 군사, 경제, 경영, 사회, 교육, 문화, 종교, 예술, 스포츠, 역사, 역사인물, 인간, 민족, 인체, 건강, 질병, 정신, 성격, 행동, 언어, 수학 □■⊕, 위키 도움말
|
|
|
| 수학
|
공리 • 그래프이론 • 기하학 • 대수기하학 • 대수학 • 미적분학 • 산수 • 산학 • 선형대수학 • 수식 • 수학 • 양 • 위상수학 • 응용수학 • 이산수학 • 정의 • 조합론 • 집합론 • 해석학 • 확률론 • 도움말:수학
|
|
|
| 수
|
0 • 1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 10진법(십진법) • 경(1016) • 공배수 • 공약수 • 구(1032) • 구골(10100) • 구골뱅 • 구골플렉스 • 구골플렉시안 • 그레이엄수(G64(4)) • 기수 • 로마숫자 • 만(10000) • 만억조경 • 만억조경 해자양구 • 만진법 • 무량대수(1068) • 무리수 • 무한대(∞) • 무한소 • 배수 • 백(100) • 벡터 • 복소수 • 부동소수점 • 분모 • 분수 • 분자 • 사원수 • 서수 • 소수 (decimal) • 소수 (prime number) • 소수점 • 수 • 숫자 • 스칼라 • 승수 • 실수 • 십진수 • 아라비아숫자 • 약수 • 양(1028) • 양수 • 억(108) • 원주율(π) • 유리수 • 음수 • 이진수 • 자(1024) • 자연로그의 밑(e) • 자연수 • 정수 • 정수론 • 조(1012) • 천(1000) • 천진법 • 초월수 • 텐서 • 합성수 • 해(1020) • 행렬 • 허수(i) • 황금비(φ)
|
|
|
| 집합
|
곱집합 • 공집합(Ø) • 교집합(∩) • 멱집합 • 무한집합 • 벤 다이어그램 • 부분집합(⊂) • 알레프수(ℵ) • 여집합 • 원소 • 유한집합 • 전체집합 • 집합 • 차집합 • 합집합(∪)
|
|
|
| 논리
|
거짓 • 논리 • 논리곱(AND) • 논리연산 • 논리합(OR) • 명제 • 배타적 논리합(XOR) • 부울곱 • 부울대수 • 부울합 • 부정논리곱(NAND) • 부정논리합(NOR) • 부정연산(NOT) • 참 • 충분조건 • 필요조건 • 필요충분조건
|
|
|
| 계산
|
! • ↑ • cos • f(x) • lim • log • sin • tan • ∑ • ∫ • 가감승제 • 값 • 결합법칙 • 계산 • 고랭크 • 곱 • 곱셈 • 곱하기 • 공식 • 교환법칙 • 구간 • 구구단 • 극한 • 근 • 근삿값 • 급수 • 나누기 • 나눗셈 • 나머지 • 난이도 • 내림 • 다항식 • 답 • 더하기 • 덧셈 • 도함수 • 독립변수 • 등식 • 라마누잔합 • 랭크 • 로그 • 루트(√) • 리만가설 • 매개변수 • 매개변수 (수학) • 멱급수 • 몫 • 무한급수 • 미분 • 미적분 • 미지수 • 반올림 • 발산 • 방정식 • 백분율 • 변수 • 부등식 • 분배법칙 • 비례식 • 비율 • 빼기 • 뺄셈 • 사차방정식 • 사칙연산 • 산수 • 삼각함수 • 삼차방정식 • 상수 • 상용로그 • 셈 • 수렴 • 수식 • 수열 • 시그모이드 함수 • 식 • 십구단 • 약분 • 역수 • 역함수 • 역행렬 • 연산 • 오일러 공식 • 오일러 등식 • 오차 • 올림 • 유한급수 • 이차방정식 • 인수 • 인수분해 • 자연로그 • 저랭크 • 적분 • 전개 • 정답 • 정리 • 정의역 • 제곱 • 제곱근 • 종속변수 • 증명 • 지수 • 차수 • 천분율 • 치역 • 팩토리얼 • 퍼센트(%) • 풀이 • 피타고라스 정리 • 함수 • 합 • 항 • 항등식 • 해
|
|
|
| 도형
|
X축 • Y축 • Z축 • 각도 • 각뿔 • 곡면 • 곡선 • 구 • 궤도 • 그래프 • 기울기 • 길이 • 꼭지점 • 내각 • 내심 • 내접 • 내접원 • 넓이 • 높이 • 다각형 • 다면체 • 닮은꼴 • 대각선 • 도형 • 둔각 • 둘레 • 마름모 • 면 • 면적 • 모서리 • 무게중심 • 반경 • 반구 • 반원 • 반지름 • 반직선 • 방심 • 변 • 부채꼴 • 부피 • 빗변 • 사각뿔 • 사각형(네모) • 사다리꼴 • 삼각뿔 • 삼각형(세모) • 선 • 선분 • 수선 • 수심 • 수직 • 수직선 • 수평 • 수평선 • 쌍곡선 • 예각 • 오각형 • 외각 • 외심 • 외접 • 외접원 • 원 • 원기둥(원통) • 원뿔 • 원판 • 원환체(도넛모양) • 육각형 • 위상 • 위상공간 • 이등변삼각형 • 이등분선 • 입체 • 입체도형 • 점 • 점선 • 정다각형 • 정다면체 • 정사각형 • 정사면체 • 정삼각형 • 정십이면체 • 정오각형 • 정육각형 • 정육면체(입방체, 큐브) • 정팔각형 • 정팔면체 • 좌표 • 좌표계 • 좌표축 • 좌표평면 • 중심 • 중첩 • 지름 • 직각 • 직경 • 직사각형 • 직선 • 직육면체 • 차원 • 초입방체(하이퍼큐브) • 초점 • 축 • 측지선 • 타원 • 테서랙트 • 팔각형 • 평면 • 평면도형 • 평행사변형 • 폐곡선 • 포물선 • 합동 • 호
|
|
|
| 통계
|
가설 • 경우의 수 • 공분산 • 귀무가설 • 기댓값 • 기하평균 • 대립가설 • 도수 • 도수분포 • 도수분포표 • 모분산 • 모집단 • 모평균 • 모표준편차 • 분산 • 분포 • 사건 • 산술평균 • 산포도 • 상관관계 • 순열 • 신뢰구간 • 신뢰도 • 유의수준 • 전수조사 • 정규분포 • 조합 • 조화평균 • 중앙값 • 통계 • 통계량 • 통계학 • 편차 • 평균 • 표본 • 표본분산 • 표본조사 • 표본평균 • 표본표준편차 • 표준편차(σ) • 최빈값 • 합계 • 확률 • 확률밀도함수 • 확률분포 • 회귀분석
|
|
|
| 수학자
|
갈릴레오 갈릴레이 • 게오르크 칸토어 • 고트프리트 빌헬름 라이프니츠 • 니콜로 폰타나(타르탈리아) • 다비트 힐베르트 • 레오나르도 피보나치 • 레온하르트 오일러 • 로널드 그레이엄 • 르네 데카르트 • 버트런드 러셀 • 베르너 하이젠베르크 • 베른하르트 리만 • 브룩 테일러 • 블레즈 파스칼 • 스리니바사 라마누잔 • 아르키메데스 • 아이작 뉴턴 • 알콰리즈미 • 앙리 푸앵카레 • 오거스터스 드 모르간 • 요하네스 케플러 • 요한 베르누이 • 윌리엄 로원 해밀턴 • 유클리드(에우클레이데스) • 유휘 • 이순지 • 이임학 • 조제프-루이 라그랑주 • 조지 불 • 존 내시 • 존 네이피어 • 존 월리스 • 존 폰 노이만 • 지롤라모 카르다노 • 최석정 • 카를 프리드리히 가우스 • 토머스 베이즈 • 피에르 드 페르마 • 피타고라스 • 허준이 • 헤론 • 홍정하 • 히파르코스
|
|
|
| 기타
|
IMO • KMO • 국제수학연맹 • 세계수학자대회 • 수학경시대회 • 올림피아드 • 필즈상
|
|
|
| 위키 : 인공지능, 개발, 자동차, 교통, 아시아, 세계, 산업, 기업, 단체, 업무, 생활, 지도, 블록체인, 암호화폐, 인물, 행사, 일반
|
|
위키원
