Boolean Logic
Boolean Logic(불 논리)는 TRUE나 FALSE, 또는 1과 0으로 나타내는 논리를 말한다.
불 논리로 산출되는 값들은 TRUE거나 FALSE이며, 1또는 0으로 나타낼 수 있다. 이 값들을 Boolean values라고 부른다.
Boolean operations
불 논리의 연산자는 7개가 있다.
부정, 논리곱, 논리합, 부정 논리곱, 부정 논리합, 배타적 논리합, 동치
부정(negation)
참과 거짓을 뒤집는 연산자로, NOT으로 말하며 ¬로 표기한다.
| A | ¬A |
|---|---|
| 0 | 1 |
| 1 | 0 |
논리곱(conjectuon)
모두 참일때 참인 연산자로, AND로 말하며 ∧로 표기한다.
| A | B | A∧B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
논리합(disjunction)
모두 참일때 참인 연산자로, OR로 말하며 ∨로 표기한다.
| A | B | A∨B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
부정 논리곱
논리곱을 부정한 것으로, NAND로 말하며 ⊼로 표기한다.
| A | B | A⊼B |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
부정 논리합
논리합을 부정한 것으로, NOR로 말하며 ⊽로 표기한다.
| A | B | A⊽B |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 0 |
부정 논리합(exclusive or)
둘 중 하나만 참이여야 참인 연산자로, XOR로 말하며 ⊕로 표기한다.
| A | B | A⊕B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
동치(equallity)
둘이 같아야 참인 연산자로, EQV로 말하며 ↔로 표기한다.
| A | B | A↔B |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
명제
추가로 명제인 implication이 있는데, 명제의 참과 거짓은 우리가 직관적으로 이해가 가지 않는 부분이 존재 할 수 있다. 공허참에 대한 개념은 여기에 적어놨으므로 보고싶으면 한번 보자.
| A | B | A→B |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
다크 모드의 노예