De Morganovy zákony: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace značka: přepnuto z Vizuálního editoru |
m {{Autoritní data}}; formát zápisu šablon; kosmetické úpravy |
||
Řádek 16:
:<math>\neg(A\vee B)\iff(\neg A)\wedge(\neg B)</math>
:<math>\neg(A\wedge B)\iff(\neg A)\vee(\neg B)</math>
kde:
* <math>\neg</math> a {{
* <math>\wedge</math> je [[Konjunkce (matematika)|konjunkce]] (AND)
* <math>\vee</math> je [[disjunkce]] (OR)
* <math>\iff</math> je zde metalogický symbol, který znamená "lze v logickém důkazu nahradit".
Řádek 30:
:<math>\overline{A \cup B}=\overline{A} \cap \overline{B}.</math>
De Morganovy zákony se uplatňují především v [[Booleova algebra|Booleově algebře]].
== Reference ==
<references />
{{Pahýl}}
{{Teorie množin}}
{{Autoritní data}}
{{Portály|Matematika}}
| |||