Основная логика
NOT
- Обозначение
- ¬A, A'
- Программирование
- Схема
- Inverter gate
Пример
Reverses a truth value.
If A means logged in, ¬A means not logged in.
Таблица истинности
| A | Out |
|---|---|
| 0 | 1 |
| 1 | 0 |
Компьютерные науки
Руководство по логическим операторам
Понимание AND, OR, NOT, XOR, NAND, NOR и связанных операторов через таблицы истинности, булеву алгебру, цифровые схемы, программирование и примеры AI-запросов.
Основная логика
AND
- Обозначение
- A·B, AB
- Программирование
- Схема
- AND gate
Пример
True only when every input is true.
isLoggedIn && hasPermission
Таблица истинности
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Основная логика
OR
- Обозначение
- A+B
- Программирование
- Схема
- OR gate
Пример
True when at least one input is true.
isAdmin || isOwner
Таблица истинности
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Производные операторы
XOR
- Обозначение
- A⊕B
- Программирование
- Схема
- XOR gate
Пример
True when the inputs are different.
Half adder sum = A XOR B.
Таблица истинности
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Производные операторы
NAND
- Обозначение
- ¬(A·B)
- Программирование
- Схема
- NAND gate
Пример
The negation of AND. NAND gates can build any Boolean circuit.
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 gate
Пример
The negation of OR. NOR is also functionally complete.
A NOR B is true only when both inputs are false.
Таблица истинности
| A | B | Out |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 0 |
Производные операторы
XNOR
- Обозначение
- ¬(A⊕B)
- Программирование
- Схема
- XNOR gate
Пример
True when the inputs are the same.
A XNOR B behaves like equality for Boolean values.
Таблица истинности
| A | B | Out |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Побитовые операторы
Bitwise AND
- Обозначение
- bit mask
- Программирование
- Схема
- Per-bit AND operation
Пример
Applies AND to each bit position. It is different from logical &&.
0101 & 0011 = 0001
Программирование
Short-circuit evaluation
- Обозначение
- evaluation rule
- Программирование
- Схема
- Programming evaluation behavior
Пример
The second expression may not run if the first expression already determines the result.
user && user.name
Законы булевой алгебры
Identity laws
A ∧ 1 = A, A ∨ 0 = ACombining with the neutral truth value leaves A unchanged.
Domination laws
A ∧ 0 = 0, A ∨ 1 = 1One fixed input can determine the entire result.
Complement laws
A ∧ ¬A = 0, A ∨ ¬A = 1A statement and its negation cannot both be true, but at least one is true.
De Morgan's laws
¬(A ∧ B) = ¬A ∨ ¬B, ¬(A ∨ B) = ¬A ∧ ¬BMoves a negation across AND or OR while switching the operator.
Absorption laws
A ∨ (A ∧ B) = A, A ∧ (A ∨ B) = AA repeated condition can absorb a more specific condition.