Таблица истинности для выражения $$
eg A \lor
eg B$$:
| A | B | $$
eg A$$ | $$
eg B$$ | $$
eg A \lor
eg B$$ |
| :---- | :---- | :-------- | :-------- | :--------------------- |
| Истина | Истина | Ложь | Ложь | Ложь |
| Истина | Ложь | Ложь | Истина | Истина |
| Ложь | Истина | Истина | Ложь | Истина |
| Ложь | Ложь | Истина | Истина | Истина |
В этой таблице:
- A и B - логические переменные.
- $$
eg A$$ - отрицание A (если A истина, то $$
eg A$$ ложь, и наоборот).
- $$
eg B$$ - отрицание B (если B истина, то $$
eg B$$ ложь, и наоборот).
- $$\lor$$ - логическое ИЛИ (дизъюнкция). Результат истина, если хотя бы один из операндов истина.