Таблица истинности логической операции — это таблица, где в левой части записываются все возможные комбинации значений исходных данных, а в правой — результат этой операции для каждой комбинации.
Пример таблицы истинности для выражения A·B + ¬A·C
| A |
B |
C |
¬A |
A·B |
¬A·C |
A·B + ¬A·C |
| 0 |
0 |
0 |
1 |
0 |
0 |
0 |
| 0 |
0 |
1 |
1 |
0 |
1 |
1 |
| 0 |
1 |
0 |
1 |
0 |
0 |
0 |
| 0 |
1 |
1 |
1 |
0 |
1 |
1 |
| 1 |
0 |
0 |
0 |
0 |
0 |
0 |
| 1 |
0 |
1 |
0 |
0 |
0 |
0 |
| 1 |
1 |
0 |
0 |
1 |
0 |
1 |
| 1 |
1 |
1 |
0 |
1 |
0 |
1 |
Логические выражения могут быть:
- Тождественно истинными (всегда 1, тавтология)
- Тождественно ложными (всегда 0, противоречие)
- Вычислимыми (зависят от исходных данных)