Logika

Logikai műveletek azonosságai

Kulcsszavak:

$\neg (\neg a) = a$
$\neg ⊥ = ⊤$		$\neg ⊤ = ⊥$
$a \lor ⊥ = a$		$a \land ⊤ = a$
$a \lor \neg a = ⊤$		$a \land \neg a = ⊥$
$a \lor b = b \lor a$ $a \land b = b \land a$		Kommutativitás
$(a \lor b) \lor c = a \lor (b \lor c)$ $(a \land b) \land c = a \land (b \land c)$		Asszociativitás
$a \lor (b \land c) = (a \lor b) \land (a \lor c)$ $a \land (b \lor c) = (a \land b) \lor (a \land c)$		Disztributivitás
$a \lor (a \land b) = a$ $a \land (a \lor b) = a$		Adjunktivitás (abszorpciós szabály)
$a \lor a = a$ $a \land a = a$		Idempotencia
$\neg (a \lor b) = \neg a \land \neg b$ $\neg (a \land b) = \neg a \lor \neg b$		De Morgan-szabályok

Általános tudnivalók
Jelölések, kapcsolatok
Számelmélet
Számhalmzaok
Prímszámok - Prímtényezős felbontás
Oszthatósági szabályok
Legnagyobb közös osztó, legkisebb közös töbszörös
Műveletk racionális számokkal
Binominális tétel
Binomiális tétel
Kombinatorika
Permutáció
Kombináció
Variáció
Halmazok
Műveletek halmazokkal
Halmazműveletek azonosságai
Logikai szita formula
Descartes-szorzat
Relációk és azok tulajdonságai
Logika
Logikai műveletek és értéktáblázataik
Logikai műveletek azonosságai
Gráfok
Gráfelmélet - elnevezések, összefüggések