Booleova algebra: Porovnání verzí
Smazaný obsah Přidaný obsah
Verze 5933777 uživatele 93.99.191.9 (diskuse) zrušena - experimenty/vandal |
|||
Řádek 5:
Booleova algebra je definována jako [[distributivní svaz|distributivní]] [[komplementární svaz|komplementární]] [[Svaz_(matematika)|svaz]].
Jinou ekvivalentní definicí je následující. Booleova algebra je [[uspořádaná n-tice|šestice]] (''A'', ∧, ∨, −, 0, 1), kde ''A'' je neprázdná [[množina]], 0 ∈ ''A'' je [[nejmenší prvek|nejmenší]], 1 ∈ ''A'' [[největší prvek]], − je unární operace ([[Komplement (svazy)|komplement]]) a ∧, ∨ jsou binární operace ([[průsek]], [[spojení]]) na ''A'', splňující následující [[axiom]]y
:{| cellpadding=5
| |||