+ All Categories
Home > Documents > CIT Logické funkce

CIT Logické funkce

Date post: 02-Jan-2016
Category:
Upload: elvis-mccormick
View: 83 times
Download: 4 times
Share this document with a friend
Description:
www. leosjuranek .cz / epo. CIT Logické funkce. Díl IV. Číslicová technika. Téma: Logické funkce (4) Předmět: CIT Ročník: 2 Autor: Juránek Leoš Ing. Škola: SŠE Frenštát p.R . Verze : 9.2008. Obsah. Návrh logického obvodu Výrok, logická proměnná, složený výrok - PowerPoint PPT Presentation
67
CIT Logické funkce Díl IV www. leosjuranek .cz / epo
Transcript
Page 2: CIT Logické funkce

Téma: Logické funkce (4) Předmět: CIT Ročník: 2 Autor: Juránek Leoš Ing. Škola: SŠE Frenštát p.R. Verze: 9.2008

Číslicová technika

Page 3: CIT Logické funkce

Obsah Návrh logického obvodu Výrok, logická proměnná, složený výrok Logický obvod, kombinační, sekvenční Popis logického obvodu Popis logických funkcí Základní logické funkce Pravdivostní tabulka Karnaughova mapa Zjednodušování logických funkcí Booleova algebra Vytvoření logické funkce z pravdivostní tabulky Popis logické funkce pomocí Karnaughovy mapy Minimalizace pomocí Karnaughovy mapy Realizace logické funkce kontakty nebo logickým členem

Page 4: CIT Logické funkce

Pojmy k zapamatování Výrok, logická proměnná, logická funkce, logický obvod, pravdivostní tabulka, Karnaughova mapa, logický člen, negace, logický součet, logický součin, exklusivní součet, minimalizace logické funkce, Booleova algebra.

Page 5: CIT Logické funkce

Nová kapitola

Logické funkce

5NEXT: NÁVRH LOGICKÉHO OBVODU

Page 6: CIT Logické funkce

Návrh logického obvodu

1. Definování vstupních a výstupních veličin, které ovlivňují chování systému)

2. Popis chování systému pomocí pravdivostní tabulky.

3. Vytvoření logické funkce z pravdivostní tabulky a její minimalizace .

4. Obvodová realizace pomocí elektronických nebo reléových obvodů.

6NEXT: VÝROK

Page 7: CIT Logické funkce

Výrok Výrok je tvrzení, o kterém má smysl

prohlásit, že platí nebo neplatí.

2 je větší než 3nepravda

dveře jsou zavřenypravda

v zásobníku je vodapravda

jaké je počasí venkunení výrok

Příklad

7NEXT: LOGICKÁ PROMĚNNÁ

Page 8: CIT Logické funkce

Logická proměnná

Na vstupu i výstupu logického obvodu mohou veličiny (logické proměnné) nabývat pouze jednu ze dvou hodnot.

pravda (true, 1, high, H)

nepravda (false, 0, low, L)

8NEXT: SLOŽENÝ VÝROK

Page 9: CIT Logické funkce

Složený výrok Složený výrok je vytvořen z výroků

jednoduchých, které jsou spojeny pomocí logických spojek.

Venku prší i sněží.

Dveře jsou zavřeny a je stlačeno tlačítko.Je sepnut spínač1 nebo spínač2.

Příklad

9NEXT: LOGICKÝ OBVOD

Page 10: CIT Logické funkce

Logický obvod

Logický obvod realizuje žádanou logickou funkci.

10NEXT: KOMBINAČNÍ A SEKVENČNÍ

Page 11: CIT Logické funkce

Kombinační logický obvodHodnota na výstupu je závislá jen na hodnotách vstupu.

Sekvenční logický obvodHodnota na výstupu je závislá na hodnotách vstupu a také na minulých hodnotách vstupů.

11NEXT: POPIS LOGICKÉHO OBVODU

Logický obvod

Page 12: CIT Logické funkce

Popis logického obvodu

)c,b,a(fy)c,b,a(fx

2

1

f1, f2 logické funkcea,b,c vstupní logické proměnné

12NEXT: POPIS LOGICKÉHO OBVODU

Page 13: CIT Logické funkce

Logická funkce přiřadí hodnotu výstupu pro určitou kombinaci hodnot vstupních proměnných.

Na vstupu může nastat 2n kombinací.

n = 2 počet kombinací 4

n = 3 počet kombinací 8

Popis logického obvodu

13NEXT: POPIS LOGICKÉHO OBVODU

Page 14: CIT Logické funkce

Popis logické funkce

Slovní popis

Logická funkce, výraz

Pravdivostní tabulka

Karnaughova [karnaufova] mapa

Obvodová značka (logický obvod, liniové schéma)

14NEXT: ZÁKLADNÍ LOGICKÉ FUNKCE

Page 15: CIT Logické funkce

Základní logické funkce

Negace

Součin

Součet

Negovaný součin

Negovaný součet

Exclusivní součet

15NEXT: NEGACE

Page 16: CIT Logické funkce

Negace, inverze Symbol NOT,INV Spojka neplatí,

že

AY A Y

0 1

1 0

16NEXT: AND

Page 17: CIT Logické funkce

Logický součin AND Symbol AND Spojka a,a současně, i

B.AY A B Y

0 0 0

0 1 0

1 0 0

1 1 1

17NEXT: OR

Page 18: CIT Logické funkce

Logický součet OR Symbol OR Spojka nebo

BAY A B Y

0 0 0

0 1 1

1 0 1

1 1 1

18NEXT: NAND

Page 19: CIT Logické funkce

Negovaný logický součin NAND

Symbol NAND

B.AY A B Y

0 0 1

0 1 1

1 0 1

1 1 0

19NEXT: NOR

Page 20: CIT Logické funkce

Negovaný logický součet NOR

Symbol NOR

BAY A B Y

0 0 1

0 1 0

1 0 0

1 1 0

20NEXT: XOR

Page 21: CIT Logické funkce

Výlučný logický součet XOR

Symbol XOR

BAY A B Y

0 0 0

0 1 1

1 0 1

1 1 0

21NEXT: PRAVDIVOSTNÍ TABULKA

Page 22: CIT Logické funkce

D C B A0 0 0 0 1 1 1 0 0 1 0 1 1

0 0 0 1 1 1 0 0 0 0 0 1 1

0 0 1 0 1 0 1 0 0 0 0 1 1

0 0 1 1 1 0 0 1 0 0 1 0 0

0 1 0 0 0 1 1 0 0 1 0 1 1

0 1 0 1 0 1 0 0 0 0 0 1 1

0 1 1 0 0 0 1 0 0 0 0 1 1

0 1 1 1 0 0 0 1 0 0 1 0 0

1 0 0 0 1 1 1 0 1 1 1 0 1

1 0 0 1 1 1 0 0 1 0 1 0 0

1 0 1 0 1 0 1 0 1 0 1 0 0

1 0 1 1 1 0 0 1 1 0 1 0 0

1

1 0 0 0 1 1 0 0 1 0 1 1

1 1 0 1 0 1 0 0 0 0 0 1 1

1 1 1 0 0 0 1 0 0 0 0 1 1

1 1 1 1 0 0 0 1 0 0 1 0 0

Pravdivostní tabulkaBADCBAY ...

C B A BA. DC. BA. DCBA .. DCBA .. Y

22NEXT: KARNAUGHOVA MAPA

Page 23: CIT Logické funkce

Karnaughova mapa

Karnaughova [karnaufova] mapa je projekcí pravdivostní tabulky do dvourozměrné tabulky

23NEXT: K-MAPA 2 PROMĚNNÉ

Page 24: CIT Logické funkce

Karnaughova mapa

A

B1

0 1

10 1

0 0

B A

0 1

2 3

Č. B A Y

0 0 0 11 0 1 02 1 0 13 1 1 0

1 0

1 0

K-mapa 2 proměnné

24NEXT: K-MAPA 3 PROMĚNNÉ

Page 25: CIT Logické funkce

A

C0

0 1

10 0

0 0

B A

0 1

4 5

K-mapa 3 proměnné

C

B

0

1 1

0 110 010

111 011

3 2

67

25NEXT: K-MAPA 3 PROMĚNNÉ

Karnaughova mapa

Page 26: CIT Logické funkce

A

C

K-mapa 4 proměnné

B

D

B ACD

Karnaughova mapa

Page 27: CIT Logické funkce

Zjednodušování logických funkcí

Logické funkce zjednodušujeme (minimalizujeme) pomocí

Pravidel Boolovy algebry

Karnaughovy mapy

27NEXT: BOOLOVA ALGEBRA

Page 28: CIT Logické funkce

Zákony Booleovy algebry Zákon komutativní (záměna)

A.BB.AABBA

28NEXT: ZÁKON ASOCIATIVNÍ

Page 29: CIT Logické funkce

Zákon asociativní (sdružování)

C).B.A()C.B.(AC)BA()CB(A

29NEXT: ZÁKON DISTRIBUTIVNÍ

Zákony Booleovy algebry

Page 30: CIT Logické funkce

Zákon distributivní (roznásobení)

)CA).(BA()C.B(AC.AB.A)CB.(A

30NEXT: NEGACE NEGACE

Zákony Booleovy algebry

Page 31: CIT Logické funkce

Negace negace

AA 0 1 0

1 0 1

A AA

Ověřte pravdivostní tabulkou

31NEXT: NEUTRÁLNOST NULY A JEDNIČKY

Zákony Booleovy algebry

Page 32: CIT Logické funkce

Neutrálnost nuly a jedničky

AA 0A 0 A+0

0 0 0

1 0 1

A.A 1A 1 A.1

0 1 0

1 1 1

Ověřte pravdivostní tabulkou

32NEXT: AGRESIVNOST NULY A JEDNIČKY

Zákony Booleovy algebry

Page 33: CIT Logické funkce

Agresivnost nuly a jedničky

11AA 1 A+1

0 1 1

1 1 1

00.AA 0 A.0

0 0 0

1 0 0

Ověřte pravdivostní tabulkou

33NEXT: ZÁKON VYLOUČENÍ TŘETÍHO

Zákony Booleovy algebry

Page 34: CIT Logické funkce

Zákon vyloučení třetího

1 AAA not A A+not A

0 1 1

1 0 1

0A.AA not A A.not A

0 1 0

1 0 0

34NEXT: DE MORGANOVY ZÁKON

Zákony Booleovy algebry

Page 35: CIT Logické funkce

De Morganovy zákony

BAB.A

B.ABA

35NEXT: PŘÍKLADY

Zákony Booleovy algebry

Page 36: CIT Logické funkce

Minimalizace pomocí zákonu Booleovy algebry

BACACB

CCBABBCAAACB

CBACBACBACBACBACBA

CBACBACBACBAY

...

......

............

........

AAA

CCABBACABACABA

CABACBACABACBAY

......

.......

Zákony Booleovy algebry

Page 37: CIT Logické funkce

Logickou funkci můžeme vyjádřit

Součtovou formou jako součet součinů

Součinovou formou jako součin součtů

ABBAY

BABAY

37NEXT: SOUČTOVÁ FORMA

Vytvoření funkce z pravdivostní tabulky

Page 38: CIT Logické funkce

Logická funkce je popsána pravdivostní tabulkou

Máme za úkol vytvořit funkci Y= f(a,b,c)38

NEXT: PŘÍKLADY

Vytvoření funkce z pravdivostní tabulky

Page 39: CIT Logické funkce

Součtová forma K popisu použijeme řádky, kde je funkce

jedničková. Základní součinový člen je součin, který

obsahuje všechny vstupní proměnné. Nazývá se MINTERM.

0001 AaBaCkdyž,A.B.C

1001 AaBaCkdyž,A.B.C

pro 1.řádek má tvar

pro 2.řádek má tvar

011,1.. AaBaCkdyžABC

1111 AaBaCkdyž,A.B.C

pro 7.řádek má tvar

pro 8.řádek má tvar

39NEXT: ÚPLNÁ SOUČTOVÁ FORMA

0011 AaBaCkdyž,A.B.Cpro 5.řádek má tvar

Vytvoření funkce z pravdivostní tabulky

Page 40: CIT Logické funkce

Úplná součtová forma

Logická funkce je součet základních součinových členů (mintermů).

A.B.CA.B.CA.B.CA.B.CA.B.CY

40NEXT: SOUČINOVÁ FORMA

Vytvoření funkce z pravdivostní tabulky

Page 41: CIT Logické funkce

Součinová forma

K popisu použijeme řádky, kde je funkce nulová.

Základní součtový člen je součtem, který obsahuje všechny vstupní proměnné. Nazývá se MAXTERM

pro 3.řádek má tvar

pro 4.řádek má tvar

1010 AneboBneboCkdyžABC ,

0010 AneboBneboCkdyžABC ,

pro 6.řádek má tvar 0100 AneboBneboCkdyžABC ,

41NEXT: ÚPLNÁ SOUČINOVÁ FORMA

Vytvoření funkce z pravdivostní tabulky

Page 42: CIT Logické funkce

Úplná součinová forma

Logická funkce je součin základních součtových členů (maxtermů).

ABCABCABCY

42NEXT: MINTERM, MAXTERM

Vytvoření funkce z pravdivostní tabulky

Page 43: CIT Logické funkce

43NEXT: ÚPLNÁ SOUČTOVÁ A SOUČINOVÁ FORMA

Vytvoření funkce z pravdivostní tabulky

Page 44: CIT Logické funkce

Vytvoření funkce z pravdivostní tabulky

Page 45: CIT Logické funkce

Popis logické funkce pomocí Karnaughovy mapy

Jednotlivým polím mapy přiřadíme hodnoty logické funkce z odpovídajícího řádku pravdivostní tabulky.

Funkce může nabývat hodnotu 0 nebo 1.

Někdy vyplyne z rozboru, že nezáleží na hodnotě funkce, přiřadí se neurčitá hodnota označena X.

45NEXT: MINIMALIZACE POMOCÍ KARNAUGHOVY MAPY

Page 46: CIT Logické funkce

Vybranými podmapami musí být pokryty všechny jednotkové stavy logické funkce.

Do podmapy spojujeme stejné stavy, které spolu sousedí hranou, a to i přes okraje mapy.

Podmapy se mohou překrývá.

Minimalizace pomocí Karnauhovy mapy

46NEXT: MINIMALIZACE POMOCÍ KARNAUGHOVY MAPY

Page 47: CIT Logické funkce

Minimalizace pomocí Karnauhovy mapy

Nevytváříme zbytečné podmapy, nespojujeme ty stavy, které již byly pokryty jinou mapou.

Čím vetší je podmapa, tím jednodušší bude výraz.

Pokud je v některém stavu funkce neurčitá hodnota, volíme takovou hodnotu, které nám vytvoří podmapu.

47NEXT: MINIMALIZACE POMOCÍ KARNAUGHOVY MAPY

Page 48: CIT Logické funkce

Podmapy mají velikost 1,2,4,8,16

Výsledná funkce je součtem součinů jednotlivých podmap.

48NEXT: PŘÍKLAD

Minimalizace pomocí Karnauhovy mapy

Page 49: CIT Logické funkce

49NEXT: PŘÍKLAD

CBACBAP 1

Podmapa P1

Page 50: CIT Logické funkce

50NEXT: PŘÍKLAD

CB

AACB

CBACBAP

)(

1

Podmapa P1

Page 51: CIT Logické funkce

51NEXT: PŘÍKLAD

CBACBAP 2

Podmapa P2

Page 52: CIT Logické funkce

52NEXT: PŘÍKLAD

BA

CCBA

CBACBAP

)(

2

Podmapa P2

Page 53: CIT Logické funkce

53NEXT: PŘÍKLAD

Podmapa P3

CBACBAP 3

Page 54: CIT Logické funkce

54NEXT: PŘÍKLAD

CB

AACB

CBACBAP

)(

3

Podmapa P3

Page 55: CIT Logické funkce

55NEXT: REALIZACE LOGICKÉ FUNKCE

CBBACB

PPPY

321

Page 56: CIT Logické funkce

56NEXT: REALIZACE LOGICKÉ FUNKCE

Page 57: CIT Logické funkce

Realizace logické funkce

57NEXT: REALIZACE LOGICKÉ FUNKCE

Page 58: CIT Logické funkce

Realizace logické funkce

58NEXT: KONEC

Page 59: CIT Logické funkce

Konec

Page 60: CIT Logické funkce

Pravdivostní tabulka

Popisuje chování logického obvodu tabulkou.

Počet řádků tabulky je pro N vstupních proměnných 2N.

60

Page 61: CIT Logické funkce

N Počet kombinací

1 2

2 4

3 8

4 16

N=1

A

0

1

N=2

B A

0 0

0 1

1 0

1 1

N=3

C B A

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

N=4

D C B A

0 0 0 0

0 0 0 1

0 0 1 0

0 0 1 1

0 1 0 0

0 1 0 1

0 1 1 0

0 1 1 1

1 0 0 0

1 0 0 1

1 0 1 0

1 0 1 1

1 1 0 0

1 1 0 1

1 1 1 0

1 1 1 1

Pravdivostní tabulka

Page 62: CIT Logické funkce

Relé

Page 63: CIT Logické funkce

Relé

Page 64: CIT Logické funkce

Relé

Page 65: CIT Logické funkce

Karnaughova mapa

Page 66: CIT Logické funkce

Karnaughova mapa

Page 67: CIT Logické funkce

67


Recommended