AlmaLinux přinese s verzí 10.1 podporu btrfs. XFS bude stále jako výchozí filesystém, ale instalátor nabídne i btrfs. Více informací naleznete v oficiálním oznámení.
Společnost OpenAI představila svůj vlastní webový prohlížeč ChatGPT Atlas. Zatím je k dispozici pouze na macOS.
Desktopové prostředí KDE Plasma bylo vydáno ve verzi 6.5 (Mastodon). Přehled novinek i s videi a se snímky obrazovek v oficiálním oznámení. Podrobný přehled v seznamu změn.
Rodina jednodeskových počítačů Orange Pi se rozrostla (𝕏) o Orange Pi 6 Plus.
Na Humble Bundle běží akce Humble Tech Book Bundle: All Things Raspberry Pi by Raspberry Pi Press. Se slevou lze koupit elektronické knihy od nakladatelství Raspberry Pi Press a podpořit Raspberry Pi Press, Raspberry Pi Foundation North America nebo Humble.
Přidaný režim autonomního řízení vozidel Tesla Mad Max je dostupný pro vybrané zákazníky v programu EAP (Early Access Program). Nový režim je na silnici agresivnější, častěji mění pruhy a ne vždy dodržuje rychlostní limity. Agentura JPP spekuluje, že v Česku by se mohl nový režim namísto Mad Max jmenovat Mad Turek...
Byla vydána nová verze 9.18 z Debianu vycházející linuxové distribuce DietPi pro (nejenom) jednodeskové počítače. Nově také pro NanoPi R3S, R3S LTS, R76S a M5. Přehled novinek v poznámkách k vydání.
bat, tj. vylepšený cat se zvýrazňováním syntaxe a integrací s gitem, byl vydán ve verzi 0.26.0.
Byla vydána první verze 0.0.1 [Mastodon] multipatformního renderovacího jádra webového prohlížeče Servo (Wikipedie). Vývoj Serva započal v roce 2012 v Mozilla Corporation. V roce 2020 bylo Servo předáno nadaci Linux Foundation. Servo je napsané v programovacím jazyce Rust.
Cloudovou službu Amazon Web Services (AWS) americké firmy Amazon dnes postihl globální výpadek. Omezil dostupnost řady aplikací a webů, například populární platformu Snapchat nebo aplikaci s prvky umělé inteligence (AI) Perplexity. Podle webu Downdetector hlásily problémy také uživatelé obchodu Amazon, streamovací platformy PrimeVideo nebo platební služby PayPal.
~(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: