MATHEMATICS

Logické výrazy

April 29 2020 [Edit]
[EN/CZ]

Legenda

Operace	Značení	Slovní reprezentace
Negace	$\neg$A ; A’	ne A
Konjunkce	A $\land$ B	A a B
Disjunkce	A $\lor$ B	A nebo B
Implikace	A $\implies$ B	jestliže A, pak B
Ekvivalence	A $\iff$ B	A právě tehdy, když B

Tabulka hodnot

A	B	$\neg$A	A $\land$ B	A $\lor$ B	A $\Rightarrow$ B	A $\Leftrightarrow$ B
1	1	0	1	1	1	1
1	0	0	0	1	0	0
0	1	1	0	1	1	0
0	0	1	0	0	1	1

Negace

Výrok	Negace výroku
A $\land$ B	$\neg$A $\lor$ $\neg$B
A $\lor$ B	$\neg$A $\land$ $\neg$B
A $\iff$ B	(A $\lor$ B) $\land$ ($\neg$A $\lor$ $\neg$B)
A $\implies$ B	A $\land$ $\neg$B