Таблица истинности для выражения (X = eg Y):
| X | Y | X = ¬Y |
|---|---|-------|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Здесь ¬Y означает «не Y», то есть инверсию значения Y. X = ¬Y означает, что X истинно только тогда, когда Y ложно, и наоборот.