Оцінювання логічних виразів
Ми можемо думати про оцінку логічного виразу як про визначення його істинності чи хибності. Для простого висловлювання його оцінка відповідає його істинності, але для більш складних висловлювань з логічними сполучниками це поєднання істинності окремих підвисловлювань за допомогою сполучників.
Наприклад, сполучник and має значення істини (true, 1), якщо і тільки якщо обидва твердження є істинними.
Отже, 1 and 1 = 1, але, наприклад, 1 and 0 = 0.
Таблиця істинності логічних операцій
X | Y | X \text{ and } Y | X \text{ or } Y | X \text{ xor } Y | X \Rightarrow Y | X \Leftrightarrow Y |
---|---|---|---|---|---|---|
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 |