Kronljusströmställaren 0, 1, 2, 3

Slides:



Advertisements
Liknande presentationer
PowerPoint av Bendik S. Søvegjarto Koncept, text och regler av Skage Hansen.
Advertisements

Populärt brukar algebra ibland kallas för bokstavsräkning
Från mönster till algebra
En genomgång av spelet: Dubbelkrig-Grön
Kap 1 - Algebra och linjära modeller
ATT KUNNA TILL PROV MATMAT03c1
Text och bild från wikipedia
Problemcentrerad undervisning metod Hokkaido lärarhögskolan (Asahikawa) Professor Kazuhiko Souma
hej och välkomna EKVATIONER Ta reda på det okända talet.
William Sandqvist Booles Algebra Genom att representera logiska uttryck på matematisk form, där sammanfognings-orden OR och AND motsvarade.
William Sandqvist Booles Algebra Genom att representera logiska uttryck på matematisk form, där sammanfognings-orden OR och AND motsvarade.
William Sandqvist Störskydd William Sandqvist
Institutionen för matematik, KTH Mats Boij 5B1118 Diskret matematik 19 novnember B1118 Diskret matematik Sjunde föreläsningen Grupper.
EDA Digital och Datorteknik
William Sandqvist Maurice Karnaugh Karnaugh-diagrammet gör det enkelt att minimera Boolska uttryck! William Sandqvist
Repetition inför kursstart FDL
Komplexa tal inför Laborationerna
Text och bild från wikipedia
Algebraiska uttryck Matematik 1.
Formell logik Kapitel 1 och 2
Algebra och ekvationer
EDA Digital och Datorteknik
Felkalkyl Ofta mäter man inte direkt den storhet som är den intressanta, utan en grundläggande variabel som sedan används för att beräkna det som man är.
INFÖR NATIONELLA PROVET. UPPGIFT 1 Förenkla så långt som möjligt Ständigt återkommande uppgift!
Grundläggande programmering
Multiplexern som kombinatorisk krets
Styrteknik: Grundläggande logiska funktioner D2:1
Programmering efter tillståndsdiagram
Bråk Text och bild från wikipedia. Vad är bråk 1/3 5/8 1/27 3 _
Vad kännetecknar ett sekvensnät?
Dagens ämnen Matriser Linjära ekvationssystem och matriser
William Sandqvist Binärkod och Graykod 7 Bitars Kodskiva för avkodning av vridningsvinkel. Skivans vridnings-vinkel finns tryckt som binära.
DIGITAL DESIGN INLEDNING Allmänt och kursens hemsidor Analogt och digitalt Booleska variabler Binära tal Positiv och negativ logik (Aktiv hög och låg logik)
William Sandqvist 11.1 ”Glitchar” Om signaler passerar olika många grindsteg på vägen mot utgången kan kortvariga oönskade avvikelser från.
William Sandqvist IS1500 Datorteknik William Sandqvist
Styrteknik: Boolesk algebra D1:1
Föreläsning 9 Logik med tillämpningar Innehåll u Semantiska tablåer i predikatlogiken u Klausulform u Herbrandmodeller u Kapitel 3.5,
Satslogik, forts. DAA701/716 Leif Grönqvist 5:e mars, 2003.
William Sandqvist Binärkod och Graykod 7 Bitars Kodskiva för avkodning av vridningsvinkel. Skivans vridnings-vinkel finns tryckt som binära.
Föreläsning 16 Logik med tillämpningar Innehåll u Information kring kursvärdering och tentagenomgång u Genomgång av övningstenta 2.
732G22 Grunder i statistisk metodik
Kronljusströmställaren 0, 1, 2, 3
William Sandqvist Tillståndsmaskiner  Moore-automat  Mealy-automat William Sandqvist
Shannon dekomposition
William Sandqvist Binärkod och Graykod 7 Bitars Kodskiva för avkodning av vridningsvinkel. Skivans vridnings-vinkel finns tryckt som binära.
William Sandqvist Låskretsar och Vippor Låskretsar (latch) och vippor (flip-flop) är kretsar med minnesfunktion. De ingår i datorns minnen.
Att räkna med bokstäver
Att referera och ange källa!
Lars Madej  Talmönster och talföljder  Funktioner.
Manada.se Algebra och funktioner. 1.1 Algebra och polynom Förkunskaper: Grundläggande algebra Konjugatregeln och kvadreringsreglerna Andragradsekvationer.
Manada.se Kapitel 4 Ekvationer och formler. 4.1 Ekvationer och uttryck.
FTEA12:2 Filosofisk Metod Grundläggande argumentationsanalys II.
Kap 1 - Algebra och linjära modeller
Kap 2 - Algebra och ickelinjära modeller
Populärt brukar algebra ibland kallas för bokstavsräkning
Lektion 4.
Kap 1 - Algebra och linjära modeller
Kommunikativ förmåga MATEMATIK = SANT!.
Formell logik Kapitel 3 och 4
Formell logik Kapitel 7 och 8
Kombinatoriska byggblock
Digitala tal och Boolesk algebra
Digitalteknik 3p - Sekvenskretsar
Digitalteknik 3p - Kombinatorisk logik
Kombinatoriska byggblock
Kombinatoriska byggblock
Digitalteknik 3p - Kombinatorisk logik
Digitala CMOS-grindar
Digitalteknik 3p - Kombinatorisk logik
Digitalteknik 3p - Kombinatorisk logik
Presentationens avskrift:

Kronljusströmställaren 0, 1, 2, 3 William Sandqvist william@kth.se

William Sandqvist william@kth.se Styr med binärkod William Sandqvist william@kth.se

William Sandqvist william@kth.se Dec – Bin – Hex – Okt 21810 = 110110102 = DA16 = 3328 William Sandqvist william@kth.se

1.1c Decimaltal till Binärtal 7110 = ?2 7110 = (64+7= 64+4+2+1) =10001112 William Sandqvist william@kth.se

1.2a Binärtal till Decimaltal 1011010012 = (28+26+25+23+20=256+64+32+8+1) =36110 1011010012 = ?10 William Sandqvist william@kth.se

1.3c Binärt/Oktalt/Hexadecimalt 1001101012 = ?16 = ?8 1 0011 01012 = 1 3 516 100 110 1012 = 4 6 58 William Sandqvist william@kth.se

William Sandqvist william@kth.se Booles Algebra Claude Shannon matematiker/elektrotekniker (1916 –2001) George Boole matematiker (1815-1864) Boole's främsta bidrag till matematiken är den Boolska algebran ( 1847, 1854 ). Genom att representera logiska uttryck på matematisk form, där sammanfogningsorden OR och AND motsvarade ett slags addition och multiplikation, blev det möjligt att med en algebra undersöka om komplicerade logiska utsagor och resonemang, i slutändan var sanna eller falska. Booles algebra användes länge bara för studier av symbolisk logik, som är ett mycket smalt ämnesområde. Först när Claude E. Shannon vid MIT 1938 skrev en avhandling som visade hur Booles algebra kunde användas för att representera elektriska kontaktnät, "dammades" algebran av för att sedan dess bli det huvudsakliga verktyget för all digital konstruktion. Algebran bygger på ett talsystem med bara två tal, 1 och 0. Inom logiken motsvarar dessa tal sant/falskt, och för kontaktnät motsvarar de sluten/bruten kontakt. Logikens sammanfogningsord OR och AND motsvarar parallellkoppling och seriekoppling i kontaktnätet. Genom att representera logiska uttryck på matematisk form, där sammanfognings-orden OR och AND motsvarade ett slags addition och multiplikation, blev det möjligt att med en algebra undersöka om kompli-cerade logiska utsagor och resonemang, i slutändan var sanna eller falska. 1938 "dammade" Claude Shannon av algebran och använde den till elektriska kontaktnät. Sedan dess är Booles algebra det huvudsakliga verktyget för all digital konstruktion. William Sandqvist william@kth.se

William Sandqvist william@kth.se Venn-diagram William Sandqvist william@kth.se

3.2 De Morgans lag med Venndiagram Bevisa De Morgans lag med hjälp av Venn-diagram. William Sandqvist william@kth.se

William Sandqvist william@kth.se 3.2 De Morgan = Bevisat! William Sandqvist william@kth.se

(5.1) Hur öppnar man kodlåset? (=minterm) Vilka knappar ska man sam-tidigt trycka på för att tända lampan? ( = öppna kodlåset) Svar: 4,d och 2,h men samtidigt måste man undvika att trycka på a b c e f g i och k! En produktterm där alla variabler ingår kallas för en minterm. William Sandqvist william@kth.se

William Sandqvist william@kth.se 3.3 Venndiagram William Sandqvist william@kth.se

3.3a Sanningstabell - Venndiagram William Sandqvist william@kth.se

William Sandqvist william@kth.se 3.3b förenklat uttryck Ursprungligt uttryck. Förenklat! William Sandqvist william@kth.se

Booles algebra räknelagar Logisk addition "+", OR, och logisk multiplikation "×", AND, följer i stort sätt de vanliga normala algebraiska distributiva, kommutativa och associativa lagarna (med ett "udda" undantag). William Sandqvist william@kth.se

Förenklingsregler och teorem William Sandqvist william@kth.se

William Sandqvist william@kth.se 4.1(a, b, c, h) Booles algebra William Sandqvist william@kth.se

William Sandqvist william@kth.se

William Sandqvist william@kth.se 4.1b William Sandqvist william@kth.se

William Sandqvist william@kth.se 4.1c William Sandqvist william@kth.se

William Sandqvist william@kth.se

William Sandqvist william@kth.se 4.4 Använd De Morgans lag William Sandqvist william@kth.se

William Sandqvist william@kth.se 4.4 William Sandqvist william@kth.se

William Sandqvist william@kth.se Logikgrindar William Sandqvist william@kth.se

William Sandqvist william@kth.se (4.5a) Grindtyper Ange namn och utsignal 1/0 för följande sex grindtyper när insignalerna är de som visas i figuren. AND OR 1 XOR NAND NOR 1 XNOR 1 William Sandqvist william@kth.se

4.7 Tidsdiagram och sanningstabell William Sandqvist william@kth.se

William Sandqvist william@kth.se 4.7 William Sandqvist william@kth.se

4.12 Från text till Boolska ekvationer William Sandqvist william@kth.se

William Sandqvist william@kth.se 4.12 u0 = 1 om och endast om ”antingen både x0 och x2 är 0 eller x4 och x5 är olika” AND NOT XOR XOR William Sandqvist william@kth.se

William Sandqvist william@kth.se 4.12 u1 = 1 om och endast om ” x0 och x1 är lika och x5 är inversen av x2 ” XNOR AND XOR William Sandqvist william@kth.se

William Sandqvist william@kth.se 4.12 NOT u2 = 0 om och endast om ” x0 är 1 och någon av x1 … x5 är 0 ” AND OR NOT William Sandqvist william@kth.se

William Sandqvist william@kth.se Logiknät SP-form Alla logiska funktioner kan realiseras med hjälp av grindtyperna AND och OR kombinerade i två steg. Vi förutsätter här att ingångs-variablerna även finns i inverterad form, om inte så behöver man naturligtvis även inverterare NOT till detta. Man kan realisera grindnätet dir-ekt ur sanningstabellen. Varje "1" i tabellen är en minterm. Funktionen blir summan av dessa mintermer. Man säger att funk-tionen är uttryckt på SP-form ( Summa av Produkter ). Men, det kan finnas mycket enklare grindnät med färre grindar som gör samma arbete. William Sandqvist william@kth.se

William Sandqvist william@kth.se 5.2 SP och PS normalform William Sandqvist william@kth.se

William Sandqvist william@kth.se 5.2 SP-form En logisk funktion har följande sanningstabell. Ange funktionen på SP-normalform (summa av produkter). William Sandqvist william@kth.se

William Sandqvist william@kth.se Logiknät PS-form Alternativt kan man inrikta sig på sanningstabellens 0:or. Om ett grindnät återger funktionens 0:or korrekt så är ju även 1:orna rätt! Om således funktionen ska vara "0" för en viss variabelkombination (a,b) tex. (0,0) så bildar man summan ( a + b ). Den summan kan ju bara bli "0" för kombinationen (0,0). En sådan summa kallas för en maxterm. Funktionen uttrycks som en produkt av alla sådana maxtermer. Varje maxterm bidrar med en 0:a från sannings-tabellen. Funktionen sägs vara uttryckt på PS-form ( Produkt av Summor ). William Sandqvist william@kth.se

William Sandqvist william@kth.se 5.2 PS-form En logisk funktion har följande sanningstabell. Ange funktionen på PS-normalform (produkt av summor). William Sandqvist william@kth.se

William Sandqvist william@kth.se  och  SP och PS-formerna brukar förenklat uttryckas genom en uppräkning av de ingående maxtermernas/mintermernas ordningsnummer: f(a,b) = m(1,2) f(a,b) = M(0,3) William Sandqvist william@kth.se

William Sandqvist william@kth.se 5.3 SP och PS -form William Sandqvist william@kth.se

William Sandqvist william@kth.se 5.3 William Sandqvist william@kth.se

Komplett logik NAND-NAND OR AND och NOT går att framställa med NAND-grindar. För logik-funktioner på SP-form kan man byta AND-OR grindarna mot NAND-NAND "rakt av". Kostnaden i antal grindar blir densamma! William Sandqvist william@kth.se

Komplett logik NOR-NOR OR AND och NOT går även att framställa med NOR-grindar. För logikfunktioner på PS-form kan man byta OR-AND grindarna mot NOR-NOR grindar "rakt av". Kostnaden i antal gindar blir densamma! William Sandqvist william@kth.se

William Sandqvist william@kth.se 5.5 NAND-grindar William Sandqvist william@kth.se

William Sandqvist william@kth.se 5.5 ? Algebraiskt: William Sandqvist william@kth.se

(4.11) Europeiska och Amerikanska symboler Testa dig själv … William Sandqvist william@kth.se