Portál AbcLinuxu, 1. května 2025 22:29
! Jinak co že ses rozhodl psát na linuxový portál? Už se těším na pokračování, dojde i na ADL, ISDL a tato témata? A určitě také plz. popiš tu novou latch-like šílenost od Intelu, jsem líný si ji hledat.) tak určitě spíše na Model Sim. Jinak já osobně používám knihovny z FreeHDL, na testy vanilla CAD, sice z tabulek (zvlášť u složitého návrhu) by Luděk lezl po zdi , ale je tam dobře vidět distribuce signálu a rozepsané i to, co se děje ,,okamžitě`` což se někdy hodí. Docela mi vyhovuje Sonata. Ještě bych rád rozjel Alliance, zvláště ten její syntezátor a router mě zajímá, ale k tomu jsem se zatím ještě přes zaneprázdnosti v jiných oblastech nedostal. To mi tak připomíná, že bych mohl někdy do blogu zapsat sumarizaci letošního semestr a rozepsat návrh našeho miniprocesůrku (spíše chytřejšího XORu...), což za zablogování celkem stojí ., clanek chci koncipovat jako uvod do VHDL, zaverem by mohl byt navrh casti nebo celeho procesoru ve VHDL. Hlavni duraz chci klast na klasicke rozdeleni registry-logika, takze "latch-like" procesor pri te prilezitosti zminim.
Taky diky vsem za zivou diskusi, i na jejim zaklade se muze vyvijet obsah dalsich dilu.
Za chvili mizim na tyden na dovolenou, tak pekne prazdniny!
.~(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:
ISSN 1214-1267, (c) 1999-2007 Stickfish s.r.o.
8.7.2005 09:24
