Booleova algebra: Porovnání verzí
Smazaný obsah Přidaný obsah
tabulka z en místo infoboxu |
→Formální definice: máme tu vše v x,y,z místo a,b,c; názvy axiomů do prvního sloupce; nedegenerovanost se někdy nepožaduje |
||
Řádek 9:
:{| cellpadding=5
|-
|<math> a \lor b = b \lor a </math>▼
|<math> a \land b = b \land a </math>▼
| [[Komutativita]]
|-
|<math> a \lor (b \land c) = (a \lor b) \land (a \lor c) </math>▼
|<math> a \land (b \lor c) = (a \land b) \lor (a \land c) </math>▼
| [[Distributivita]]
|-
| Neutralita 0 a 1▼
|<math>x \or 0 = x</math>
|<math>x \and 1 = x</math>
▲| Neutralita 0 a 1
|-
|<math> a \lor \lnot a = 1 </math>▼
|<math> a \land \lnot a = 0 </math>▼
| [[Komplementarita]]
|-
|colspan=2|<math>0\neq 1</math>▼
| Nedegenerovanost
▲|colspan=2|<math>0\neq 1</math>
|}
Axiom nedegenerovanosti se někdy neuvádí. V takovém případě je také jednoprvková množina booleovou algebrou.
== Vlastnosti ==
|