Logické spojky a pravdivostní tabulky (těžké)

Zkopírujte kliknutím. Zkopírováno!

NSR

umime.to/NSR

Logické spojky a pravdivostní tabulky

V informatice používáme většinou zaměnitelně následující:

Zápis	Název	Význam
\text{ not } X	negace	neplatí X
X \text{ and } Y	konjunkce, a zároveň	X a Y platí současně
X \text{ or } Y	disjunkce, nebo	platí alespoň jedno z X a Y
X \text{ xor } Y	exkluzivní nebo	platí právě jedno z X a Y
X \Rightarrow Y	implikace, jestliže-pak	pokud platí X, pak platí i Y
X \Leftrightarrow Y	ekvivalence, právě když	X platí právě tehdy, když platí Y

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

Zavřít

Logické spojky a pravdivostní tabulky (těžké)

VymažNevím VyhodnoťŘešeníDalší »