Таблица истинности:
| A | B | ¬B | A ∨ ¬B | A & B | ¬(A & B) | (A ∨ ¬B) & ¬(A & B) |
|---|---|----|--------|-------|----------|--------------------|
| 0 | 0 | 1 | 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 | 0 | 1 | 0 |
| 1 | 0 | 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 | 0 | 0 |
Здесь:
- A и B - логические переменные (1 - истина, 0 - ложь).
- ¬B - отрицание B.
- A ∨ ¬B - логическое «или» A и ¬B.
- A & B - логическое «и» A и B.
- ¬(A & B) - отрицание логического «и» A и B.
- (A ∨ ¬B) & ¬(A & B) - итоговое выражение.