Logické operátory

Jazyk Python užívá tři logické operátory and, or a not. V případě and a or se užívá zkrácené vyhodnocováni.

Operátor and se užívá pro logický součin, který je pravdivý, pokud oba operandy jsou pravdivé.

Vyhodnocení probíhá nejprve vyhodnocením levého operandu, pokud levý operand má hodnotu False, vyhodnocování končí a výraz má hodnotu levého operandu.

Pokud levý operand má hodnotu True, výsledek se položí rovný pravému operandu.

Příklady:

>>> True and True
True
>>> False and True
False
>>> 2 and 0
0
>>> 2 and 3
3
>>> True and 5
5

Operátor or se užívá pro logický součet, který je pravdivý, je-li alespoň jeden operand pravdivý.

Vyhodnocení probíhá nejprve vyhodnocením levého operandu. Je-li levý operand pravdivý, vyhodnocování končí a výraz má hodnotu levého operandu. Je-li levý operand nepravdivý, položí se výsledek rovný pravému operandu.

Příklady:

>>> True or True
True
>>> False or True
True
>>> 2 or 0
2
>>> 2 or 3
2
>>> True or 5
True

Operátor not se užívá pro negaci. Operátor vrací výsledek True nebo False i v případně, kdy operand je celé číslo.

Příklady:

>>> not True
False
>>> not False
True
>>> not 0
True
>>> not 1
False

Úkol: 

1. Ověřte, zda v Pythonu platí De Morganův zákon, který říká že negace logického součinu je logický součet negovaných proměnných.
2. Ověřte, zda v Pythonu platí De Morganův zákon, který říká že negace logického součtu je logický součin  negovaných proměnných.

 Poznámka k řešení. Za levý operand dosaďte True a pravý False. Operátor rovnosti je ==. Operandy rovnosti (zejména pravý) je nutno dávat do kulatých závorek..