Эквивалентность (≡) истинна, когда оба значения совпадают (либо оба истинны, либо оба ложны). Отрицание (¬) меняет значение на противоположное.
| X | Y | ¬Y | X ≡ ¬Y |
|---|---|----|--------|
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 |
```html
| X |
Y |
X ≡ ¬Y |
| 0 |
0 |
0 |
| 0 |
1 |
1 |
| 1 |
0 |
1 |
| 1 |
1 |
0 |
```