Mijenja vrijednost izjave: iz istine u laž, iz laži u istinu. Negacija izjave nova je izjava.

Σχετικά έγγραφα
Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju

2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x

Operacije s matricama

Linearna algebra 2 prvi kolokvij,

7 Algebarske jednadžbe

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.

Trigonometrija 2. Adicijske formule. Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto

TRIGONOMETRIJSKE FUNKCIJE I I.1.

Strukture podataka i algoritmi 1. kolokvij 16. studenog Zadatak 1

Neka je a 3 x 3 + a 2 x 2 + a 1 x + a 0 = 0 algebarska jednadžba trećeg stupnja. Rješavanje ove jednadžbe sastoji se od nekoliko koraka.

Elementi spektralne teorije matrica

Teorijske osnove informatike 1

Kontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A

IZVODI ZADACI (I deo)

Booleova algebra. Izjave in Booleove spremenljivke

IZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo

UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET SIGNALI I SISTEMI. Zbirka zadataka

PRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti).

INTEGRALNI RAČUN. Teorije, metodike i povijest infinitezimalnih računa. Lucija Mijić 17. veljače 2011.

Pošto pretvaramo iz veće u manju mjernu jedinicu broj 2.5 množimo s 1000,

18. listopada listopada / 13

DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović

Iskazna logika 3. Matematička logika u računarstvu. novembar 2012

RIJEŠENI ZADACI I TEORIJA IZ

Neka su A i B skupovi. Kažemo da je A podskup od B i pišemo A B ako je svaki element skupa A ujedno i element skupa B. Simbolima to zapisujemo:

M086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost

VJEŽBE 3 BIPOLARNI TRANZISTORI. Slika 1. Postoje npn i pnp bipolarni tranziostori i njihovi simboli su dati na slici 2 i to npn lijevo i pnp desno.

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15

1 Promjena baze vektora

a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.

ELEKTROTEHNIČKI ODJEL

41. Jednačine koje se svode na kvadratne

Iskazna logika 1. Matematička logika. Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia.

Riješeni zadaci: Nizovi realnih brojeva

Riješeni zadaci: Limes funkcije. Neprekidnost

SEMINAR IZ KOLEGIJA ANALITIČKA KEMIJA I. Studij Primijenjena kemija

ν nu ξ xi π pi σ, ς sigma τ tau υ upsilon φ, ϕ phi ψ psi ω omega

Linearna algebra 2 prvi kolokvij,

TRIGONOMETRIJA TROKUTA

Sume kvadrata. mn = (ax + by) 2 + (ay bx) 2.

1.4 Tangenta i normala

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu

( ) ( ) Zadatak 001 (Ines, hotelijerska škola) Ako je tg x = 4, izračunaj

Kaskadna kompenzacija SAU

Uvod u teoriju brojeva

PRIMJER 3. MATLAB filtdemo

Matematička analiza 1 dodatni zadaci

Cauchyjev teorem. Postoji više dokaza ovog teorema, a najjednostvniji je uz pomoć Greenove formule: dxdy. int C i Cauchy Riemannovih uvjeta.

IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f

POVRŠINA TANGENCIJALNO-TETIVNOG ČETVEROKUTA

SISTEMI NELINEARNIH JEDNAČINA

Diskretna matematika. Prof. dr Olivera Nikolić

NOMENKLATURA ORGANSKIH SPOJEVA. Imenovanje aromatskih ugljikovodika

Apsolutno neprekidne raspodele Raspodele apsolutno neprekidnih sluqajnih promenljivih nazivaju se apsolutno neprekidnim raspodelama.

5. Karakteristične funkcije

Matematika 1 - vježbe. 11. prosinca 2015.

Pismeni ispit iz matematike Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: ( ) + 1.

3.1 Granična vrednost funkcije u tački

Dijagonalizacija operatora

Bulove jednačine i metodi za njihovo

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D}

IZVODI ZADACI (I deo)

XI dvoqas veжbi dr Vladimir Balti. 4. Stabla

PARCIJALNI IZVODI I DIFERENCIJALI. Sama definicija parcijalnog izvoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je,

radni nerecenzirani materijal za predavanja

Ĉetverokut - DOMAĆA ZADAĆA. Nakon odgledanih videa trebali biste biti u stanju samostalno riješiti sljedeće zadatke.

Numerička matematika 2. kolokvij (1. srpnja 2009.)

Determinante. a11 a. a 21 a 22. Definicija 1. (Determinanta prvog reda) Determinanta matrice A = [a] je broj a.

Otpornost R u kolu naizmjenične struje

INTELIGENTNO UPRAVLJANJE

Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika. Monotonost i ekstremi. Katica Jurasić. Rijeka, 2011.

Sustav dvaju qubitova Teorem o nemogućnosti kloniranja. Spregnuta stanja. Kvantna računala (SI) 17. prosinca 2016.

KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.

( , treći kolokvij) 3. Na dite lokalne ekstreme funkcije z = x 4 + y 4 2x 2 + 2y 2 3. (20 bodova)

Signali i sustavi - Zadaci za vježbu II. tjedan

numeričkih deskriptivnih mera.

POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE

Ispitivanje toka i skiciranje grafika funkcija

21. ŠKOLSKO/OPĆINSKO/GRADSKO NATJECANJE IZ GEOGRAFIJE GODINE 8. RAZRED TOČNI ODGOVORI

KVADRATNA FUNKCIJA. Kvadratna funkcija je oblika: Kriva u ravni koja predstavlja grafik funkcije y = ax + bx + c. je parabola.

Program za tablično računanje Microsoft Excel

PRAVAC. riješeni zadaci 1 od 8 1. Nađite parametarski i kanonski oblik jednadžbe pravca koji prolazi točkama. i kroz A :

2. Ako je funkcija f(x) parna onda se Fourierov red funkcije f(x) reducira na Fourierov kosinusni red. f(x) cos

( ) ( ) 2 UNIVERZITET U ZENICI POLITEHNIČKI FAKULTET. Zadaci za pripremu polaganja kvalifikacionog ispita iz Matematike. 1. Riješiti jednačine: 4

Dvanaesti praktikum iz Analize 1

4.7. Zadaci Formalizam diferenciranja (teorija na stranama ) 343. Znajući izvod funkcije x arctg x, odrediti izvod funkcije x arcctg x.

Linearna algebra I, zimski semestar 2007/2008

MATEMATIKA Pokažite da za konjugiranje (a + bi = a bi) vrijedi. a) z=z b) z 1 z 2 = z 1 z 2 c) z 1 ± z 2 = z 1 ± z 2 d) z z= z 2

6 Polinomi Funkcija p : R R zadana formulom

IZRAČUNAVANJE POKAZATELJA NAČINA RADA NAČINA RADA (ISKORIŠĆENOSTI KAPACITETA, STEPENA OTVORENOSTI RADNIH MESTA I NIVOA ORGANIZOVANOSTI)

4 INTEGRALI Neodredeni integral Integriranje supstitucijom Parcijalna integracija Odredeni integral i

ASIMPTOTE FUNKCIJA. Dakle: Asimptota je prava kojoj se funkcija približava u beskonačno dalekoj tački. Postoje tri vrste asimptota:

Funkcija gustoće neprekidne slučajne varijable ima dva bitna svojstva: 1. Nenegativnost: f(x) 0, x R, 2. Normiranost: f(x)dx = 1.

PID: Domen P je glavnoidealski [PID] akko svaki ideal u P je glavni (generisan jednim elementom; oblika ap := {ab b P }, za neko a P ).

- pravac n je zadan s točkom T(2,0) i koeficijentom smjera k=2. (30 bodova)

VJEROJATNOST 1. kolokvij studenog 2013.

Sortiranje prebrajanjem (Counting sort) i Radix Sort

Zavrxni ispit iz Matematiqke analize 1

, Zagreb. Prvi kolokvij iz Analognih sklopova i Elektroničkih sklopova

Klasifikacija blizu Kelerovih mnogostrukosti. konstantne holomorfne sekcione krivine. Kelerove. mnogostrukosti. blizu Kelerove.

Transcript:

OOLEOV LGER I LOGIČKI SKLOPOVI ooleova algebra Logička ili ooleova algebra je sustav teorema koji rabe simboličku logiku da bi opisali skupove elemenata i odnose medu njima. Razvojem digitalnih računala otkriveno je da je ooleova algebra vrlo dobro primjenjiva u konstruiranju i analizi rada računala jer takva računala također mogu imati samo dva stanja (uključen-isključen, ima napona-nema napona). Osnovni element logičke algebre jest sud. Sud je izjavna rečenica koja može biti ili istinita ili lažna, ali ne oboje u isto vrijeme. Temeljno je svojstvo suda istinitost ili lažnost. Istinit sud označavamo simbolima T ili, a lažne simbolima ili. Radi jednostavnosti, izjave obično označavamo jednim slovom. Sudove (operande) možemo kombinirati u logičke izraze, koje povezujemo vezama (operatorima). Logičke operacije Osnovne logičke operacije su jednostavne i sastoje se od jednoga ili dva operanda i jednog operatora. To su : Logička operacija NE (eng. NOT) - negacija Logička operacija I (eng. ND) Logička operacija ILI (eng. OR) Logičko NE Logička operacija NE zove se još i negacija, a uključuje jedan operand i jedan operator. Operator NE označava se jednim od simbola: ~ ili ili Primjer: ako je postojeda izjava: onda je njezina negacija: p = "Danas je subota", = "Danas nije subota". Mijenja vrijednost izjave: iz istine u laž, iz laži u istinu. Negacija izjave nova je izjava. Tablica istine ili tablica stanja logičke operacije NE: p p Shematski prikaz logičkog sklopa: Tablica stanja definicija je logičke operacije i mora sadržavati sva moguda stanja operanada i logičke operacije.

OOLEOV LGER I LOGIČKI SKLOPOVI Logičko I (engl. ND), konjunkcija ili logičko množenje inarna operacija s 2 operanda i operatorom. Ima zadatak vratiti istinu samo ako su obadvije uključene izjave istina. Simboli su: Λ ili ili Primjer: i 5 >3 LŽN izjava > i 5 >3 ISTINIT izjava Logički sklop prikazujemo: Logičko ILI (engl. OR), disjunkcija ili logičko dijeljenje inarna operacija s 2 operanda i operatorom. Ima zadatak vratiti istinu ako je makar jedna uključena izjave istina. Simboli su: ili ili + + Izjava je lažna samo ako su obadvije uključene izjave laž. Logički sklop prikazujemo: Složene logičke operacije Nastaju kombiniranjem više operanda i operatora. Rezultat je jedno od 2 moguda stanja : istina ili laž ( ili ). Najviši prioritet ima negacija (NE), zatim logički I, te na kraju logičko ILI. Za promjenu prioriteta koristimo zagradu. 2

Teoremi ooleove algebre: Vrlo često uporabom pravila i teorema ooleove algebre možemo znatno smanjiti broj članova, odnosno minimizirati formulu. Neka od važnijih pravila ekvivalencije su: Komutativnost + = + = socijativnost ( + ) + C = + ( + C ) ( ) C = ( C) Distributivnost ( + C ) = ( ) + ( C ) ( + C ) = ( ) + ( C ) Neutralni element + = = + = = Komplementarnost + = = De Morganovi zakoni + = = + Involutivnost = nihilacija + = = psorpcija ( + ) = + = 3

Logički sklopovi Koliko god računalo izgledalo složeno, njegov se rad može prikazati kombinacijom dvaju stanja binarnog brojevnog sustava. roj tipova elemenata od kojih se gradi računalo relativno je malen, ali broj istovrsnih elemenata je vrlo velik. Osnovni elementi pomodu kojih se gradi računalo napravljeni su prema zakonima elektrotehnike i tehnologije, a mogu se promatrati s elektrotehničkog ili logičkog stajališta. Nas zanima što rade (logičko stajalište), a ne kako rade (elektrotehničko). Osnovni logički sklopovi Operacija Simbol ooleov izraz Tablica istine I (ND) ULZ IZLZ ND ILI (OR) + ULZ IZLZ ND NE (NOT) ULZ IZLZ NOT 4

Izvedeni logički sklopovi Operacija Simbol ooleov izraz Tablica istine NI (NND) ULZ IZLZ NND NILI (NOR) ULZ IZLZ NOR XILI (XOR) ULZ IZLZ XOR XNILI (XNOR) ULZ IZLZ XNOR 5

NI sklop NILI sklop - Negacija I sklopa - negacija ILI sklopa Isključivo ILI (XILI, XOR) sklop Daje na izlazu samo ako je jedan od ulaza u stanju : XOR = ( OR ) ND NOT ( ND ) 6

PRIMJERI ZDTK:. Zadatak s državne mature (ljetni rok 2): Pojednostaviti (minimizirati) izraz: Na dani izraz možemo primijeniti pravilo distributivnosti, tj. pomnožiti demo članove izvan zagrade s članovima unutar zagrade, i to i za lijevi i desni dio izraza: Na krajnjem lijevom i krajnjem desnom dijelu izraza članovima negirano i negirano zamijeniti demo mjesta radi jasnode postupka (komutativnost): Sada je vidljivo da na ta dva dijela možemo primijeniti pravilo komplementarnosti ( pomnoženo s negirano i s negirano daje ): Za krajnji lijevi i krajnji desni dio izraza sada vrijedi anihilacija (množimo li nešto s nulom dobiti demo nulu): I te nule sada možemo ispustiti iz izraza i ostaje nam: Sada možemo uočiti da su i zajednički članovi i lijevog i desnog dijela izraza pa ih možemo izvudi van (distributivnost): Za C i negirano C unutar zagrade vrijedi komplementarnost: Kako množenje s ne mijenja vrijednost izraza, taj možemo izostaviti i ostaje nam rješenje: 2. Koji de oblik nakon pojednostavljenja imati logička formula (s probne državne mature 29.): a. C + b. + + C c. + d. Rješenje: 7

3. Napisati logički izraz za sklop (DM ljeto 2): Rješenje: 4. Pojednostavljenje prethodnog zadatka: Prvo demo primijeniti De Morganovo pravilo "razdvojiti" izraz na lijevi dio (tri člana) i desni dio gdje je samo negirano C. Sada nad lijeva tri člana, kao i na desnom C, imamo dvostruku negaciju. To demo primjenom pravila involutivnosti jednostavno izostaviti. Sada na lijevi dio izraza i pod negacijom opet možemo primijeniti De Morganovo pravilo. Članove u zagradi pomnožiti demo s izvan zagrade (distributivnost). Negirano pomnoženo s daje (anihilacija). Kada iz izraza maknemo ostaje nam naše krajnje rješenje: 8

5. Traži se tablica istinitosti za dani sklop i to samo konačno rješenje Y. Rješenje: C Y 6. Kako glasi jednadžba sklopa sa slike?. +. + C. + D. + + Rješenje: 9

7. Nacrtaj logički sklop za izraz: Y = C Rješenje: Y 8. Nacrtaj logički sklop za izraz: Y ( ) C a) Ispod negacije je izraz u kojem je operacija najvišeg stupnja negacija, zatim konjunkcija, a zatim disjunkcija. b) Nacrtamo ulaze u sklop (,, C) + C + C Y C 9. Koja je pojednostavljena jednadžba sklopa na slici? C