Для построения таблицы истинности выражения $$X \lor
eg Y$$, нам нужно рассмотреть все возможные комбинации значений $$X$$ и $$Y$$, вычислить значение $$
eg Y$$, а затем вычислить значение $$X \lor
eg Y$$.
| X | Y | ¬Y | X ∨ ¬Y |
|---|---|----|-------|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
Здесь:
* $$X$$ и $$Y$$ принимают значения 0 или 1.
* $$
eg Y$$ - это отрицание $$Y$$ (если $$Y$$ равно 0, то $$
eg Y$$ равно 1, и наоборот).
* $$X \lor
eg Y$$ - это логическое ИЛИ между $$X$$ и $$
eg Y$$. Результат равен 1, если хотя бы один из операндов (X или ¬Y) равен 1. Результат равен 0, только если оба операнда равны 0.