Для выражения $$X \equiv -Y$$, где $$X$$ и $$Y$$ - логические переменные, необходимо заполнить таблицу истинности. Выражение $$X \equiv -Y$$ истинно, когда $$X$$ эквивалентно отрицанию $$Y$$. Это значит, что если $$Y$$ истинно (1), то $$X$$ должно быть ложно (0), и наоборот, если $$Y$$ ложно (0), то $$X$$ должно быть истинно (1).
Давайте заполним таблицу:
| X | Y | X ≡ -Y |
|---|---|-------|
| 0 | 0 | 0 ≡ -0 ≡ -0 ≡ 1 = 0 (Ложь)|
| 0 | 1 | 0 ≡ -1 ≡ 0 = 0 (Истина)|
| 1 | 0 | 1 ≡ -0 ≡ -0 ≡ 1 = 1 (Истина)|
| 1 | 1 | 1 ≡ -1 ≡ 0 = 0 (Ложь)|
То есть, $$X \equiv -Y$$ истинно, когда $$X$$ и $$Y$$ имеют разные значения.
Таким образом, таблица истинности будет выглядеть следующим образом:
| X | Y | X ≡ -Y |
|---|---|-------|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Ответ:
| X | Y | X ≡ -Y |
|---|---|-------|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |