Booleova algebra: Porovnání verzí
Smazaný obsah Přidaný obsah
m Editace uživatele „78.98.44.144“ vrácena do předchozího stavu, jehož autorem je „Ivob“. |
|||
Řádek 32:
== Vlastnosti ==
Pro Booleovu algebru ''A'' a každé ''x'', ''y'', ''z'' ∈ ''A'' platí:
* [[asociativita]]: (''x'' ∨ ''y'') ∨ ''z'' = ''x'' ∨ (''y'' ∨ ''z''), (''x'' ∧ ''y'') ∧ ''z'' = ''x'' ∧ (''y'' ∧ ''z'')
* absorpce: ''x'' ∨ (''x'' ∧ ''y'') = ''x'', ''x'' ∧ (''x'' ∨ ''y'') = ''x''
* agresivita nuly: ''x'' ∧ 0 = 0
|