Byla vydána nová stabilní verze 24.05 linuxové distribuce NixOS (Wikipedie). Její kódové označení je Uakari. Podrobný přehled novinek v poznámkách k vydání. O balíčky se v NixOS stará správce balíčků Nix.
Byla vydána nová verze 1.48.0 sady nástrojů pro správu síťových připojení NetworkManager. Novinkám se v příspěvku na blogu NetworkManageru věnuje Fernando F. Mancera. Mimo jiné se v nastavení místo mac-address-blacklist nově používá mac-address-denylist.
Před 25 lety, 31. května 1999, započal vývoj grafického editoru Krita (Wikipedie). Tenkrát ještě pod názvem KImageShop a později pod názvem Krayon.
Farid Abdelnour se v příspěvku na blogu rozepsal o novinkám v nejnovější verzi 24.05.0 editoru videa Kdenlive (Wikipedie). Ke stažení brzy také na Flathubu.
David Revoy, autor mj. komiksu Pepper&Carrot, se rozepsal o své aktuální grafické pracovní stanici: Debian 12 Bookworm, okenní systém X11, KDE Plasma 5.27, …
Wayland (Wikipedie) byl vydán ve verzi 1.23.0. Z novinek lze vypíchnout podporu OpenBSD.
Craig Loewen na blogu Microsoftu představil novinky ve Windows Subsystému pro Linux (WSL). Vypíchnout lze GUI aplikaci pro nastavování WSL nebo správu WSL z Dev Home.
V sobotu 1. června lze navštívit Maker Faire Ostrava, festival plný workshopů, interaktivních činností a především nadšených a zvídavých lidí.
Webový server Caddy (Wikipedie) s celou řadou zajímavých vlastností byl vydán ve verzi 2.8 (𝕏). Přehled novinek na GitHubu.
Byla vydána verze 3.0 (@, 𝕏) svobodného softwaru HAProxy (The Reliable, High Performance TCP/HTTP Load Balancer; Wikipedie) řešícího vysokou dostupnost, vyvažování zátěže a reverzní proxy. Detailní přehled novinek v příspěvku na blogu společnosti HAProxy Technologies.
~(a | b) == ~a & ~b;A naopak:
~(a & b) == ~a | ~b;A taky myslím, že s xorem to nijak nejde, ale nevím - o takové věci se moc nezajímám.
XOR netvoří úplný systém logických spojek (samotým XORem nelze realizovat např. negaci). Nicméně množina {XOR, T} (T je tautologie) již úplný systém logických spojek tvoří. T pak v praxi není nic jiného než logická "1", takže pomocí XORu lze zkonstruovat libovolný logický obvod.
Jaj už jsem psal, množina {XOR, T} tvoří úplný systém logických spojek, takže pomocí těchto dvou operátorů opravdu lze složit libovolnou funkci. Úplných systémů logických spojek je celá řada, výjmečnost Shefferovy algebry (NAND) a Piercovy algebry (NOR) je pouze v tom, že zde je úplný systém logických spojek tvořen jednou jedinou spojkou.
P.S: "negativní tautologie" se většinou nazývá kontradikce
Tak jsem si to znovu rozmýšlel a obávám se, že nemáte pravdu. Položme
Af = f(0,0) ^ f(0,1) ^ f(1,0) ^ f(1,1)Pak elementárně A(f^g) = (Af) ^ (Ag) (XOR je komutativní a asociativní), ale problém je v tom, že pro všechny vaše stavební kameny (x,y,1) je Af rovno nule, takže vzhledem k výše uvedenému z nich nikdy nemáte šanci poskládat cokoli s Af = 1, např. AND. (Lidově řečeno: řekneme, že funkce je sudá, jestliže má v tabulce sudý počet jedniček. Snadno nahlédneme, že XOR dvou sudých funkcí je opět sudá funkce a protože funkce vracející první argument, funkce vracející druhý argument i tautologie jsou sudé funkce, nikdy z nich nesložíte lichou.)
Máte samozřejmě pravdu, úplný systém logických spojek tvoří až množina {XOR, T, AND či OR} (nebo jiná "větší" množina s XORem). Jdu si na studijní nechat zrušit zkoušku z matematické logiky...
Zjednodušeně řečeno to lze dokázat ve dvou krocích:
1. Nejprve musíte dokázat, že jakákoli logická funkce více proměnných lze napsat pomocí funkcí dvou proměnných a negace (funkce jedné proměnné). To samozřejmě dokázat lze, pro booleovské operace platí "běžná" pravidla, jako je asociativita, komutativita atd.
2. potom stačí pro vybranou funkci zjistit, zda pomocí ní lze realizovat všech šestnáct binárních funkcí dvou proměnných (s využitím výše zmíněných pravidel a de Morganova pravidla). To stačí pouze rozepsat na papíře a hned máte výsledek.
Tiskni Sdílej: