Оцінювання логічних виразів

Ми можемо думати про оцінку логічного виразу як про визначення його істинності чи хибності. Для простого висловлювання його оцінка відповідає його істинності, але для більш складних висловлювань з логічними сполучниками це поєднання істинності окремих підвисловлювань за допомогою сполучників.

Наприклад, сполучник 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

title-presouvani

about_short-presouvani


Оцінювання логічних виразів  
Souhrn tématu


NAPIŠTE NÁM

Děkujeme za vaši zprávu, byla úspěšně odeslána.

Napište nám

Nevíte si rady?

Před položením dotazu si prosím projděte návody:

Prosíme, nezasílejte dotazy na prozrazení řešení úloh či vysvětlení postupu. Pokud hlásíte chybu, upřesněte prosím, v čem přesně spočívá.

Čeho se zpráva týká?

Vzkaz Hlášení chyby Obsah Ovládání Přihlášení Licence