Давайте построим таблицу истинности для логической функции ( F = (X land
eg Y) lor (
eg X land Y) ).
| X | Y | ¬X | ¬Y | X ∧ ¬Y | ¬X ∧ Y | F = (X ∧ ¬Y) ∨ (¬X ∧ Y) |
|---|---|----|----|--------|--------|-----------------------------|
| 0 | 0 | 1 | 1 | 0 | 0 | 0 |
| 0 | 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 | 0 |
Таким образом, таблица истинности для функции F выглядит следующим образом:
| X | Y | F |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |