기본 논리
NOT 연산
- 표기
- ¬A, A'
- 프로그래밍
- 회로
- 인버터 게이트
예시
참과 거짓을 반대로 바꿉니다.
A가 로그인 상태라면 ¬A는 로그인하지 않은 상태입니다.
진리표
| A | Out |
|---|---|
| 0 | 1 |
| 1 | 0 |
컴퓨터공학 학습 자료
논리 연산자 설명
AND, OR, NOT, XOR, NAND, NOR 같은 논리 연산을 진리표, 불 대수, 디지털 회로, 프로그래밍, AI 질문 예시와 함께 정리합니다.
기본 논리
AND 연산
- 표기
- A·B, AB
- 프로그래밍
- 회로
- AND 게이트
예시
모든 입력이 참일 때만 참입니다.
isLoggedIn && hasPermission
진리표
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
기본 논리
OR 연산
- 표기
- A+B
- 프로그래밍
- 회로
- OR 게이트
예시
입력 중 하나 이상이 참이면 참입니다.
isAdmin || isOwner
진리표
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
파생 연산
XOR 연산
- 표기
- A⊕B
- 프로그래밍
- 회로
- XOR 게이트
예시
두 입력이 서로 다를 때 참입니다.
반가산기의 합 출력은 A XOR B입니다.
진리표
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
파생 연산
NAND 연산
- 표기
- ¬(A·B)
- 프로그래밍
- 회로
- NAND 게이트
예시
AND의 부정입니다. NAND 게이트만으로 모든 불 회로를 만들 수 있습니다.
A NAND B는 NOT (A AND B)입니다.
진리표
| A | B | Out |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
파생 연산
NOR 연산
- 표기
- ¬(A+B)
- 프로그래밍
- 회로
- NOR 게이트
예시
OR의 부정입니다. NOR만으로도 모든 불 회로를 구성할 수 있습니다.
A NOR B는 두 입력이 모두 거짓일 때만 참입니다.
진리표
| A | B | Out |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 0 |
파생 연산
XNOR 연산
- 표기
- ¬(A⊕B)
- 프로그래밍
- 회로
- XNOR 게이트
예시
두 입력이 서로 같을 때 참입니다.
A XNOR B는 불 값의 동등 비교처럼 동작합니다.
진리표
| A | B | Out |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
비트 연산
비트 AND
- 표기
- bit mask
- 프로그래밍
- 회로
- 비트별 AND 연산
예시
각 비트 위치에 AND를 적용합니다. 논리 &&와 다릅니다.
0101 & 0011 = 0001
프로그래밍
단락 평가
- 표기
- evaluation rule
- 프로그래밍
- 회로
- 프로그래밍 평가 방식
예시
첫 번째 표현식만으로 결과가 정해지면 두 번째 표현식은 실행되지 않을 수 있습니다.
user && user.name
불 대수 법칙
항등 법칙
A ∧ 1 = A, A ∨ 0 = A중립 역할을 하는 값과 결합하면 A가 그대로 남습니다.
지배 법칙
A ∧ 0 = 0, A ∨ 1 = 1특정 입력 하나가 전체 결과를 결정할 수 있습니다.
보수 법칙
A ∧ ¬A = 0, A ∨ ¬A = 1명제와 그 부정은 동시에 참일 수 없지만 둘 중 하나는 참입니다.
드모르간 법칙
¬(A ∧ B) = ¬A ∨ ¬B, ¬(A ∨ B) = ¬A ∧ ¬B부정을 AND/OR 안쪽으로 옮길 때 연산자가 서로 바뀝니다.
흡수 법칙
A ∨ (A ∧ B) = A, A ∧ (A ∨ B) = A반복된 조건이 더 구체적인 조건을 흡수해 식을 단순화합니다.