De Morganovy zákony
De Morganovy zákony určují vztah mezi sjednocením, průnikem a doplňkem množiny a další se zabývají matematickou logikou. Zákony se jmenují po Augustu De Morganovi (1806–1871).[1]
Mějme množiny a nechť označuje doplněk dané množiny.
Potom platí vztahy
Formální vztahy pro logické operace:
kde:
- a A je negace (NOT)
- je konjunkce (AND)
- je disjunkce (OR)
- je zde metalogický symbol, který znamená "lze v logickém důkazu nahradit".
De Morganovy zákony se uplatňují především v Booleově algebře.
Reference
🔥 Top keywords: Hlavní stranaSpeciální:HledáníMaurizio GucciJiří Ježek (cyklista)GucciFacebookIveta BartošováKlan GucciRozálie HavelkováGuccio GucciPetr FialaTomáš OtrubaExtraliga ledního hokejeSpeciální:Poslední změnyLiga mistrů UEFAPetr SepešiPetr HapkaDavid (biblická postava)Karel KrylMichal DavidAndorraSurvivor Česko & Slovensko: Titáni vs. LovciLadislav ŠtaidlDavid (Michelangelo)ČeskoMistrovství světa v ledním hokeji 2024BaleáryBig Mac IndexAmateri.czLadislav HojerSoubor:Katharina-II-von-Russland.jpgJekatěrina Ivanovna ZarinaYouTubePojištění odpovědnosti z provozu vozidlaSoubor:Catherine II after Roslin, Rokotov (1780s, Kunsthistorisches Museum).jpgKarel IV.17. dubenWikipedie:Pod lípouPraha