CS258260B1 - Zapojeni ětyHiodnotových logických obvodů - Google Patents
Zapojeni ětyHiodnotových logických obvodů Download PDFInfo
- Publication number
- CS258260B1 CS258260B1 CS852281A CS228185A CS258260B1 CS 258260 B1 CS258260 B1 CS 258260B1 CS 852281 A CS852281 A CS 852281A CS 228185 A CS228185 A CS 228185A CS 258260 B1 CS258260 B1 CS 258260B1
- Authority
- CS
- Czechoslovakia
- Prior art keywords
- variable
- switching element
- logic
- value
- logical
- Prior art date
Links
Landscapes
- Logic Circuits (AREA)
Abstract
Nyní používaná dvouhodnotová logika pracuje se dvěma kontradiktorickými logickými hodnotami ano - 1 a ne — 0. Pro čtyřhodnotovou logiku je zde používán výraz superlogika. Superlogický signál je takový, který může nabýt hodnoty 1 a 0 ale také antitetické signály "spíš ano" - - 01 a "spíš ne" - U0. Byl vytvořen základní obvod pro vytvoření disjunkce, pomocí kterého se dají vytvořit další obvody pro konjunkci, implikaci a ekvivalenci. Superlogické obvody se dají s výhodou použít při stanovení diagnóz, určování prognóz jako počasí a podobně, myslící stroje, modelování vývojových procesů a podobně.
Description
Vynález se týká zapojení čtyřhodnotových logických obvodů, sestávající ze spínacích prvků. Dnes se používá v inženýrské praxi dvojhodnotové logiky, která pracuje se dvěma kontradiktorickými logickými hodnotami, značenými jako 0, 1. K realizaci jakékoliv logické funkce postačí obvody pro základní logické operace: disjunkce, konjunkce, implikace, ekvivalence a negace.
Obvody dvojhodnotové logiky se používají na zpracovávání signálů, které mohou nabývat bud hodnoty 0, nebo 1. Obvody dvojhodnotové logiky.se nedají použít na zpracovávání čtyřhodnotových logických signálů.
Uvedený nedostatek odstraňuje vynález zapojení čtyřhodnotových logických obvodů, jehož podstata spočívá v tom, že pro vytvoření disjunkce je mezi vstup a výstup zapojení zapojena jednak paralelní kombinace prvního spínacího prvku logické hodnoty 1 proměnné A a prvního spínacího prvku logické hodnoty 1 proměnné B do prvního logického výstupu, jednak paralelní kombinace prvního spínacího prvku logické hodnoty 0 proměnné A, prvního spínacího prvku logické hodnoty UO proměnné A, prvního spínacího prvku logické hodnoty U1 proměnné A v sérii s prvním spínacím prvkem logické hodnoty Ul proměnné B, ke které je paralelně zapojena paralelní kombinace prvního spínacího prvku logické hodnoty UO proměnné B a prvního spínacího prvku logické hodnoty 0 proměnné B v sérii s druhým spínacím prvkem logické hodnoty Ul proměnné A do druhého logického výstupu, jednak paralelní kombinace druhého spínacího prvku logické hodnoty UO proměnné B a druhého spínacího prvku logické hodnoty 0 proměnné B v sérii s druhým spínacím prvkem logické hodnoty UO proměnné A, ke které je paralelně zapojena sériová kombinace druhého spínacího prvku logické hodnoty 0 proměnné A a třetího spínacího prvku logické hodnoty UO proměnné B do třetího logického výstupu a jednak zapojení sériové kombinace třetího spínacího prvku logické hodnoty 0 proměnné A a třetího spínacího prvku logické hodnoty 0 proměnné B do čtvrtého logického výstupu, přičemž pro vytvořeni konjunkce a implikace je ovládání spínacích prvků logickými hodnotami 0, 1, U0 a Ul proměnných A, B provedeno jinými posloupnostmi a zapojení pro vytvoření ekvivalence je tvořeno třemi zapojeními pro vytvoření disjunkce
Pro čtyřhodnotovou logiku je v této přihláěce používán termín superlogika.
Superlogický signál je takový signál, který může nabývat jednu ze čtyř možných hodnot, která se značí 0, 1, U0, Uli Signály 0, 1 jsou kontradiktorické signály, stejné jako v dosud používané dvojhodnotové logice. Signály U0 a Ul jsou antitetické signály. Tyto signály se v obvodech dvojhodnotové logiky nevyskytují.
K realizaci jakékoliv superlogické funkce postačí obvody pro základní logické operace: disjunkce, konjunkce, implikace a ekvivalence. Ná realizaci negace není potřebný žádný zvláětní obvod. Negace se realizuje jen záměnou vstupních, popřípadě výstupních svorek superlogického obvodu.
Protože v superlogice platí Morganova pravidla, lze superlogickou funkci konjunkce realizovat pomocí superlogického obvodu pro disjunkci, podobně jako v dvouhodnotové logice. Protože platí také pravidla eliminace implikace a eliminace ekvivalence, lze v superlogice, podobně jako v dvojhodnotové logice, logické funkce implikace a eliminace realizovat pomocí obvodu pro disjunkci.
Na připojených výkresech jsou uvedeny příklady zapojení čtyřhodnotových logických obvodů. Na obr. 1 pro disjunkci, obr. 2 pro konjunkci, obr. 3 pro inplikaci a na obr. 4 propojení tří obvodů superlogické disjunkce pro vytvoření ekvivalence.
Za základní zapojení lze tedy považovat například superlogioký obvod pro disjunkci, protože dále je možno pomooí tohoto obvodu realizovat věechny další superlogické obvody.
Má-li být těchto obvodů náležitě využito, je třeba se postarat o to, aby bylo zařízení pro zpracování informací kterým každý logický nebo superlogioký systém je, bylo napojeno na zdroje informací, které podávají informace ve čtyřhodnotové formě.
Jednoduchým způsobem se ze superlogického obvodu stane obvod s logickým vstupem a logic* kým výstupem nebo obvod se superloglckým vstupem a prostým dvojhodnotovým logickým výstupem. Není však mošno dosáhnout superlogického výstupu při pouhém logickém vstupu.
Obvody se superlogickýml obvody se hodí pro ty účely, kdy je žádoucí zpracovávat nejen kontradiktorické logické hodnoty ano, ne, ale i antltetlcké superlogické signály spíš ano, spíš ne.
Typickými oblastmi kde se dá využít vlastností superlogických obvodů jsou:
- stroje na stanovení diagnóz
- stroje na určování prognóz, například počasí, ale i jiných
- myslící stroje
- stroje na modelování vývojových pochodů
- stroje pro rozhodování a podobně.
Zapojení obvodu pro realizaci operace superlogické disjunkce je uvedeno na obr. 1.
Obvod má osm vstupů a čtyři výstupy. Vstupy jsou: Al, AU1, AUO, AO ; Bl, BP1, BUO, BO. Výstupy jsou: Wl, Wl)l, WUO, W0. V obvodu se používá spínacích prvků, například kontaktů relé, tranzistorů atd. Sepnou-li se první Sl a druhý SO spínač, obvod poskytuje výstup v dvojhodnotové formě: 0, 1, a to i když je vstup čtyřhodnotový.
Na obr. 2 je nakresleno zapojení, jak se pomocí superlogického členu disjunkce realizuje superlogická konjunkce. Není potřebí žádných členů pro negaci. Místo těchto členů se pouze přehodí přívody. V tomto případě se využilo de Morganova pravidla:
(A A B) «-+ (~ AV ~ B)
Podobně se realizuje superlogické implikace podle obr. 3 použitím pravidla negace implikace :
(A -» B) «-+ (AA^B) a superlogické ekvivalence podle obr. 4 použitím pravidla negace ekvivalence (A <-+ B) «· — ((A Λ B) V (BA .— A))
Klasická logika má dvě pravdivostní hodnoty, které označujeme 0 a 1. Při aplikaci klasic ké logiky v technice interpretujeme pravdivostní hodnoty 0 a 1 obvykle jakožto stavy nějakého technického zařízení, například:
m 0 - Cívkou neteče proud
- cívkou teče proud
Klasická logika se v technice používá tehdy, kdy je z technického hlediska dostačující dvojhodnotová informace typu ano-ne. Takováto informace často nestačí a vyžadují·se kvantitativní údaje fyzikálních veličin, aby bylo možno stav technického zařízení sledovat, řídit, samočinně regulovat a podobně.
Super logika má pravdivostní logické hodnoty 0, UO, Ul, 1 dvou proměnných A, B a kromě toho uvažuje tzv. nouzový stav, kdy čtyřhodinová logika přechází na klasickou dvouhodnotovou logiku tak, že se ztotožní pravdivostní hodnota UO s pravdivostní hodnotou 0 a současně také pravdivostní hodnota Ul s pravdivostní hodnotou 1.
Teorie superlogiky chápe pravdivostní hodnotu UO jako spíš 0 než 1 a pravdivostní hodnotu Ul jako spíš 1 nebo 0. Superlogika je určena k použití v těch oblastech, kde dvou258260 hodnotová logika nevyhovuje z toho důvodu, že jde o zpracování informací, které mají do jisté míry neurčitý, nejistý charakter. Dvouhodnotová logika takovéto informace zpracovávat nedovede, superlogika je zpracovávat dovede.
Neurčitost informací, o jejichž zpracování v superlogice jde, může být vyvolána buá nedostatečným poznáním nějakého jevu, který je sledován, nebo stavu objektu, o kterém je podávána Informace, anebo principiální neurčitostí daného jevu, respektive objektu.
S takovýmito informacemi se musí například pracovat při určování prognóz nejrúznějšího druhu, například hospořářských, povětrnostních, atd., a v případech, kdy úkolem je stanovit co nejpřesněji diagnózu často ne pouze na základě nesporných faktů, ale i na základě různých příznaků a jiných nedostatečně poznaných jevů a skutečností. Speciální stroje, určené na modelování vývojových pochodů v biologických a jiných systémech, budou muset zpracovávat kromě»informací nesporných také informace sporné nebo zdánlivě sporné, čili informace nejistého charakteru. Stroje pro usnadnění rozhodování musí být schopny zpracovávat informace, o kterých se nebude moci v podstatě říct nic jiného než to, zda jsou spíš pravdivé nebo spíš nepravdivé. Stroje s umělou inteligencí na vysokém stupni budou patrně vyžadovat použití superlogiky místo klasické logiky.
Podobně jako klasická logika, má také superlogika tyto základní funkce: negace, disjun*· kce - součet, konjunkce - součin, implikace a ekvivalence.
Superlogická pravdivostní tabulka negace zní:
| A | A |
| 0 | 1 |
| 1 | 0 |
| uo | Ul |
| Ul | uo |
Zatímco při elektrických realizacích základních logických funkcí se v klasické logice pracuje také s neenergetickými signály, respektive s klidovými kontakty relé a podobně, v superlogice tato možnost není. Používá se pouze pracovních kontaktů relé nebo stykačů a pouze energetických signálů. Proto v superlogice není potřebný zvláštní člen pro realizaci negace. Negace se realizuje prostým přehozením přívodů mezi 0 a 1, respektive mezi UO a Ul.
Superlogické tabulky základních superlogických funkcí zní:
| A | B | A V B disjunkce | A Λ B konjunkce | A -+ B implikace | A w B ekvivalence |
| 0 | 0 | 0 | 0 | 1 | 1 |
| 0 | uo | UO | 0 | 1 | Ul |
| 0 | Ul | Ul | 0 | 1 | uo |
| 0 | 1 | 1 | 0 | 1 | 0 |
| uo | 0 | uo | 0 | Ul | Ul |
| uo | uo | uo | uo | Ul | Ul |
| uo | Ul | Ul | uo | Ul | uo |
| uo | 1 | 1 | uo | 1 | uo |
| Ul | 0 | Ul | 0 | uo | uo |
| Ul | uo | Ul | uo | uo | uo |
| Ul | Ul | Ul | Ul | Ul | Ul |
| Ul | 1 | 1 | Ul | 1 | Ul |
pokračování tabulky
| A | B | A V B disjunkce | A Λ B konjunkce | A —* B implikace | A « B ekvivalence |
| 1 | 0 | 1 | 0 | 0 | 0 |
| 1 | UO | 1 | UO | UO | UO |
| 1 | Ul | 1 | Ul | Ul | Ul |
| 1 | 1 | 1 | 1 | 1 | 1 |
Na vhodné oblasti použití bylo poukázáno v předchozím textu přihlášky vynálezu.
Claims (4)
1. Zapojení čtyřhodnotovýoh logických obvodů, sestávající ze spínacích prvků, vyznačené tím, že pro vytváření disjunkce je mezi vstup (V) a výstup (VS) zapojení zapojena jednak paralelní kombinace prvního spínacího prvku. (Al) logické hodnoty 1 proměnné (A) a prvního spínacího prvku (Bl) logické hodnoty 1 proměnné (B) do prvního logického výstupu (Wl), jednak paralelní kombinace prvního spínacího prvku (1 AO) logické hodnoty 0 proměnné (A), prvního spínacího prvku (1 AUO) logické hodnoty UO proměnné (A), prvního spínacího prvku (1 AU1) logické hodnoty U1 proměnné (A), v sérii s prvním spínacím prvkem (Bul) logické hodnoty
U1 proměnné (B) ke které je paralelně zapojena paralelní kombinace prvního spínacího prvku (1 BUO) logické hodnoty UO proměnné (B) a prvního spínacího prvku (1 BO) logické hodnoty 0 proměnné (B) v sérii s druhým spínacím prvkem (2 AU1) logické hodnoty U1 proměnné (A) do druhého logického výstupu (WU1), jednak paralelní kombinace druhého spínacího prvku (2 BUO) logické hodnoty UO proměnné (B) a druhého spínacího prvku (2 BO) logické hodnoty 0 proměnné (B) v sérii s druhým spínacím prvkem (2 AUO) logické hodnoty UO proměnné (A) ke které je paralelně zapojena sériová kombinace druhého spínacího prvku (2 AO) logické hodnoty 0 proměnné (A) a třetího spínacího prvku (3 BUO) logické hodnoty UO proměnné (B) do třetího logického výstupu (WUO) a jednak zapojení sériové kombinace třetího spínacího prvku (3 AO) logické hodnoty 0 proměnné (A) a třetího spínacího prvku (3 BO) logické hodnoty 0 proměnné (B) do čtvrtého logického výstupu (W0), přičemž pro vytvořeni konjunkce a implikace je ovládání spínacích prvků logickými hodnotami 0, 1, UO, Ul' proměnných A a B provedeno jinými posloupnostmi a zapojení pro vytvoření ekvivalence je tvořeno třemi zapojeními pro vytvoření disjunkce .
2. Zapojení čtyřhodnotových logických obvodů podle bodu 1, vyznačené tím, že pro vytváření konjunkce je mezi vstup (V) a výstup (VS) zapojena jednak paralelní kombinace prvního spínacího prvku (1 AO) logické hodnoty 0 proměnné (A) a prvního spínacího prvku (1 BO) logické* hodnoty 0 proměnné (B) do čtvrtého logického výstupu (W0), jednak paralelní kombinace prvního spínacího prvku (1 Al) logické hodnoty 1 proměnné (A), prvního spínacího prvku (1 AUO) logické hodnoty UO proměnné (A), prvního spínacího prvku (1 AU1) logické hodnoty Ul proměnné (A) v sérii s prvním spínacím prvkem (1 BUO) logické hodnoty UO proměnné (Β), ke které je paralelně zapojena paralelní kombinace prvního spínacího prvku (1 BU1) logické hodnoty Ul proměnné (Β), prvního spínacího prvku (1 Bl) logické hodnoty 1 proměnné (B) v sérii s druhým spínacím prvkem (2 AUO) logické hodnoty UO proměnné A do třetího logického výstupu (WUO), jednak paralelní kombinace druhého spínacího prvku (2 BU1) logické hodnoty Ul proměnné (Β), druhého spínacího prvku (2 Bl) logické hodnoty 1 proměnné B v sérii s druhým spínacím prvkem (2 AU1) logické hodnoty Ul proměnné (A) ke které je paralelně zapojena sériová kombinace druhého spínacího prvku (2 Al) logické hodnoty 1 proměnné (A) a třetího spínacího prvku (3 BU1) logické hodnoty Ul proměnné (B) do druhého logického výstupu (WU1) a jednak zapojení sériové kombinace třetího spínacího prvku (3 Al) logické hodnoty 1 proměnné (A) a třetího spínacího prvku (3 Bl) logické hodnoty 1 proměnné (B) do prvního logického výstupu (Wl) .
3. Zapojeni čtyřhodnotových logických obvodů podle bodu 1, vyznačené tím, že pro vytvářeni aplikace je mezi vstup (V) a výstup (VS) zapojena jednak paralelní kombinace prvního spínacího prvku (1 AO) logické hodnoty 0 proměnné (A) a prvního spínacího prvku (1 Bl) logické hodnoty 1 proměnné (B) do prvního logického výstupu (Wl), jednak paralelní kombinace prvního spínacího prvku (1 AI) logické hodnoty 1 proměnné (A), prvního spínacího prvku (1 AUO) logické hodnoty UO proměnné (A), prvního spínacího prvku (1 AU1) logické hodnoty U1 proměnné (A) v sérii s prvním spínacím prvkem (1 BU1) logické hodnoty U1 proměnné (B), ke které je paralelně zapojena paralelní kombinace prvního spínacího prvku (1 BUO) logické hodnoty UO proměnné (B), prvního spínacího prvku (1 BO) logické hodnoty 0 proměnné (B) v sérii s druhým spínacím prvkem (2 AUO) logické hodnoty UO proměnné (A) do druhého logického výstupu (WU1), jednak paralelní kombinace druhého spínacího prvku (2 BUO) logické hodnoty UO proměnné (B), druhého spínacího prvku (2 BO) logické hodnoty 0 proměnné (B) v sérii s druhým spínacím prvkem (2 AU1) logické hodnoty U1 proměnné (A) ke které je paralelně zapojena sériová kombinace druhého spínacího prvku (2 AI) logické hodnoty 1 proměnné (A, a· třetího spínacího prvku (3 BO) logické hodnoty 0 proměnné (B) do třetího logického výstupu (WUO) a jednak zapojení sériové kombinace třetího spínacího prvku (3 AI) logické hodnoty 1 proměnné (A) a třetího spínacího prvku (3 BO) logické hodnoty 0 proměnné (B) do čtvrtého výstupu (WO) .
4. Zapojení čtyřhodnotových logických bbvodů podle bodů 1, 2 a 3, vyznačené tlm, že mezi první (Wl) a druhý (WU1) logický výstup je zapojen první spínač (Sl, a mezi třetí (WUO) a čtvrtý (WO) logický výstup je zapojen druhý spínač (SO) pro vytvoření obvodů pro dvouhodnotovou logiku.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CS852281A CS258260B1 (cs) | 1985-03-29 | 1985-03-29 | Zapojeni ětyHiodnotových logických obvodů |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CS852281A CS258260B1 (cs) | 1985-03-29 | 1985-03-29 | Zapojeni ětyHiodnotových logických obvodů |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CS228185A1 CS228185A1 (en) | 1987-12-17 |
| CS258260B1 true CS258260B1 (cs) | 1988-08-16 |
Family
ID=5359474
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CS852281A CS258260B1 (cs) | 1985-03-29 | 1985-03-29 | Zapojeni ětyHiodnotových logických obvodů |
Country Status (1)
| Country | Link |
|---|---|
| CS (1) | CS258260B1 (cs) |
-
1985
- 1985-03-29 CS CS852281A patent/CS258260B1/cs unknown
Also Published As
| Publication number | Publication date |
|---|---|
| CS228185A1 (en) | 1987-12-17 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| DE69030858T2 (de) | Serielleingabe-parallelausgabe-umwandlungsschaltung | |
| JPS6468829A (en) | Arithmetic unit | |
| Ross | A generalized technique for symbol manipulation and numerical calculation | |
| US4551814A (en) | Functionally redundant logic network architectures | |
| KR20200028456A (ko) | 초전도 양방향 전류 드라이버 | |
| US4931985A (en) | Programmable sequencing device for controlling fast complex processes | |
| CS258260B1 (cs) | Zapojeni ětyHiodnotových logických obvodů | |
| Delforge | The problem of structural identifiability of a linear compartmental system: solved or not? | |
| EP0031638B1 (en) | A logic circuit | |
| EP0743757A3 (en) | Programmable binary/interleave sequence counter | |
| US3381232A (en) | Gated latch | |
| JPH0354489B2 (cs) | ||
| US2959687A (en) | Switching devices | |
| US2904780A (en) | Logic solving magnetic core circuits | |
| US3174133A (en) | Actuation of on-off outputs from electronic digital computer device | |
| US3275813A (en) | Full binary adder using one tunnel diode | |
| US3050721A (en) | Superconductive circuits | |
| US3226565A (en) | Logic tree comprising nor or nand logic blocks | |
| US3086707A (en) | Add-subtract counter | |
| US3324455A (en) | Minority logical operator | |
| US3255362A (en) | Cryotron logic circuits having at least two interacting central elements and one path always superconducting | |
| US3798554A (en) | Digital sequential circuit | |
| Faison | Object-oriented state machines | |
| Saarepera et al. | A self-timed implementation of Boolean functions | |
| TAKAGI et al. | Some properties of Kleene-Stone logic functions and their canonical disjunctive form |