Оцінювання логічних виразів
Ми можемо думати про оцінку логічного виразу як про визначення його істинності чи хибності. Для простого висловлювання його оцінка відповідає його істинності, але для більш складних висловлювань з логічними сполучниками це поєднання істинності окремих підвисловлювань за допомогою сполучників.
Наприклад, сполучник and має значення істини (true, 1), якщо і тільки якщо обидва твердження є істинними.
Отже, 1 and 1 = 1, але, наприклад, 1 and 0 = 0.
Таблиця істинності логічних операцій
0 | 0 | 0 | 0 | 0 | 1 | 1 |
0 | 1 | 0 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 1 | 1 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 1 | 1 |