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