Логічні сполучники та таблиці істинності
Значення істинності
В інформатиці ми використовуємо як взаємозамінне таке:
- 1 = true = правда
- 0 = false = неправда
Логічні сполучники
| Запис | Назва | Значення |
|---|---|---|
| not X | заперечення | X недійсний |
| X and Y | кон’юнкція, і також | X та Y дійсні водночас |
| X or Y | диз’юнкція, або | дійсним є X чи Y |
| X xor Y | ексклюзивне, або | тільки одне з X і Y є істинним |
| X \Rightarrow Y | імплікація, якщо, то | якщо дійсне X, тоді дійсне і Y |
| X \Leftrightarrow Y | еквівалентність, саме коли | X дійсне саме тоді, коли дійсне Y |
Таблиця істинності логічних операцій
| X | Y | X and Y | X or Y | X 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 |
Переміщення
Переміщення карт на правильне місце. Просте управління, цікаві та оригінальні завдання.

