Дизъюнкция (логическое сложение) обозначается V (например, AVB);отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А).
X^¬Y = X ∨ (¬Y)
Заполним таблицу истинности:
| X | Y | ¬Y | X ∨ (¬Y) |
|---|---|---|---|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
Ответ:
| X | Y | X^¬Y |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |