Давайте построим таблицу истинности для высказывания «X — чётное или не делится на 3», где:
* A = «X — чётное»
* B = «X делится на 3»
Тогда «не B» = «X не делится на 3», а все высказывание можно представить как «A или не B».
Таблица истинности выглядит следующим образом:
| A |
B |
не B |
A или не B |
| Истина |
Истина |
Ложь |
Истина |
| Истина |
Ложь |
Истина |
Истина |
| Ложь |
Истина |
Ложь |
Ложь |
| Ложь |
Ложь |
Истина |
Истина |
Пояснения к каждой строке:
1. A = Истина, B = Истина: X чётное и делится на 3 (например, 6). «не B» - Ложь, так как X делится на 3. «A или не B» - Истина, так как A истинно.
2. A = Истина, B = Ложь: X чётное и не делится на 3 (например, 4). «не B» - Истина, так как X не делится на 3. «A или не B» - Истина, так как «не B» истинно.
3. A = Ложь, B = Истина: X нечётное и делится на 3 (например, 3). «не B» - Ложь, так как X делится на 3. «A или не B» - Ложь, так как и A, и «не B» ложны.
4. A = Ложь, B = Ложь: X нечётное и не делится на 3 (например, 5). «не B» - Истина, так как X не делится на 3. «A или не B» - Истина, так как «не B» истинно.