CS258260B1 - Zapojeni ětyHiodnotových logických obvodů - Google Patents

Zapojeni ětyHiodnotových logických obvodů Download PDF

Info

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
Application number
CS852281A
Other languages
English (en)
Other versions
CS228185A1 (en
Inventor
Vladimir Chura
Original Assignee
Vladimir Chura
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Vladimir Chura filed Critical Vladimir Chura
Priority to CS852281A priority Critical patent/CS258260B1/cs
Publication of CS228185A1 publication Critical patent/CS228185A1/cs
Publication of CS258260B1 publication Critical patent/CS258260B1/cs

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.
CS852281A 1985-03-29 1985-03-29 Zapojeni ětyHiodnotových logických obvodů CS258260B1 (cs)

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)

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