LOGIKA ILI BOOLEOVA ALGEBRA

LOGIKA ILI BOOLEOVA ALGEBRA

Naziv dobila prema svom

tvorcu, engleskom matematiaru George Booleu (1815. 1864.).

Sanda, 2012.

LOGIKA IZJAVA

Osnovni element logike

algebre - logika izjava.
P Danas je vedar dan

Zbog jednostavnosti moe

se oznaiti jednim slovom (npr. P)

Karlovac je u Dalmaciji 1+1=3.

Za svaku od izjava se
moe jednoznano tvrditi da je istinita ili lana.
Sanda, 2012.

IZJAVA

Istinita izjava:

istina ili engl. true, a zbog jednostavnosti T ili

1

Lana izjava:
la ili engl. false, a zbog jednostavnosti F ili 0

Sanda, 2012.

RAUNALO

Graeno od elektronikih sklopova koji razlikuju

samo dva stabilna stanja.

Obradba podataka mogua samo za podatke

predoene elektrikim veliinama u obliku dva stabilna stanja.

Zakljuak Booleova algebra dobro

primjenjiva pri konstrukciji i analizi rada digitalnih raunala.
Sanda, 2012. 5

LOGIKE OPERACIJE

S logikim se izjavama mogu

izvoditi razne logike operacije.

Osnovne logike operacije

Logike se operacije zapisuju

pomou logikih operatora.

ILI
NE

Logika algebra - matematiki

opisuje odnose izmeu izjava.
Sanda, 2012.

LOGIKA OPERACIJA NE (ENGL. NOT)

Naziva se i negacija.

Zadatak - promjena vrijednosti logike izjave iz

istine u la i obrnuto.

Predoit emo je simbolom:

P Danas je subota. 4 je razliito od 4.
Sanda, 2012.

P Danas nije subota. 4 nije razliito od 4.

7

LOGIKA OPERACIJA NE (ENGL. NOT)

Logika operacija se moe prikazati i pomou

tablice stanja ili tablice istinitosti.
P 0 P 1

Sanda, 2012.

LOGIKI OPERATOR I (ENGL. AND)

Naziva se i konjunkcija.

Zadatak - vratiti istinu samo ako su obje logike

izjave ukljuene u operaciju istinite.

Predoit emo je simbolom .

P Q PQ la istina
9

Danas je subota. Danas je petak. 4 je razliito od 4.

Sanda, 2012.

4 je vee od 0.

LOGIKI OPERATOR I (ENGL. AND)

Tablica stanja ili tablica istinitosti:

P Q PQ

0
0

0
1

0
0

1
1

0
1

0
1

Sanda, 2012.

10

LOGIKI OPERATOR ILI (ENGL. OR)

Naziva se i disjunkcija.

Zadatak - vratiti istinu ako je bar jedna od logikih

izjava ukljuenih u operaciju istinita.

Predoit emo je simbolom +.

P Q P+Q

Karlovac je u Dalmaciji. 4 je jednako 4.

Sanda, 2012.

Karlovac je u Slavoniji. 4 je manje od 0.

la
istina
11

LOGIKI OPERATOR ILI (ENGL. OR)

Tablica stanja ili tablica istinitosti:

P Q P+Q

0
0

0
1

0
1

1
1

0
1

1
1

Sanda, 2012.

12

SLOENE LOGIKE OPERACIJE

Osnovne logike operacije se mogu kombinirati u

sloene.

Broj operanada i logikih operatora moe biti

proizvoljan.

Bez obzira na sloenost logike operacije konani

rezultat je istina ili la (T ili F, 0 ili 1).

Sanda, 2012.

13

LOGIKE OPERACIJE - PRIORITETI

Pri kombinaciji osnovnih logikih operacija u

sloene, treba imati na umu prioritete.

Prioriteti od viih ka niima:

NE, I, ILI.

Za promijene prioriteta koriste se zagrade.

Sanda, 2012. 14

POJEDNOSTAVNJENJE SLOENIH OPERACIJA (MINIMIZACIJA)

Sloene logike operacije se mogu

pojednostavniti.

Smanjuje se sloenost, ali rezultat ostaje isti. Za pojednostavljenje koristi se algebarski

postupak.

Sanda, 2012.

15

PRAVILA ALGEBARSKOG POSTUPKA

Neutralni element P0=0 P1=P PP=P P+0=P P+1=1 P+P=P
Sanda, 2012. 16

PRAVILA ALGEBARSKOG POSTUPKA

Komplementarnost

PP=0

P+P=1

Komutativnost PQ=QP P+Q=Q+P

Asocijativnost (P Q) R = P (Q (P + Q) + R = P + (Q + R) R)
Sanda, 2012. 17

PRAVILA ALGEBARSKOG POSTUPKA

De Morganova pravila PQ=P+Q P+Q=PQ

Involutivnost (P)=P

Sanda, 2012.

18

PRAVILA ALGEBARSKOG POSTUPKA

Distributivnost P (Q + R) = P Q + P R P + (Q R) = (P + Q) (P + R)

Sanda, 2012.

19

SLOENA OPERACIJA - TABLICA STANJA

I sloena logika operacija se moe prikazati

pomou tablice stanja.

Tablica stanja sadri sva mogua stanja operanada

i sve zadane logike operacije pa time omoguava provjeru ispravnosti pojednostavnjenja.

Sanda, 2012.

20

SLOENA OPERACIJA - TABLICA STANJA

Za provjeru treba nainiti:

tablicu stanja za poetnu sloenu logiku

operaciju,

tablicu stanja za pojednostavnjenje.

Ako su sadraji stupaca koji prikazuju rezultate
logikih operacija jednaki, pojednostavnjenje je napravljeno ispravno.

Sanda, 2012.

21

PRIMJER 1
= P (P + Q)
P (P + Q) =PP+PQ =P+PQ = P (1 + Q) =P1

=P
Sanda, 2012. 22

PRIMJER 1
A = P (P + Q)
P Q P+Q A

0
0 1

0
1 0

1
Sanda, 2012.

1
23

PRIMJER 1

Sanda, 2012.

24

PRIMJER 2
P + (P Q) = P + (P Q) =P+PQ = P (1 + Q) =P1

=P
Sanda, 2012. 25

PRIMJER 2
A = P + (P Q)
P
0 0 1 1
Sanda, 2012.

Q
0 1 0 1

PQ

26

PRIMJER 2

Sanda, 2012.

27

PRIMJER 3
P + (P Q) = P + (P Q) = (P + P) (P +Q) = 1 (P + Q) =P+Q

Sanda, 2012.

28

PRIMJER 3
A = P + (P Q)
P 0 Q 0 P P Q A

A =P + Q
P
0 0

Q
0 1

0
1 1
Sanda, 2012.

1
0 1

1
1

0
1
29

PRIMJER 3

Sanda, 2012.

30

PRIMJER 4
P (P + Q) = P (P + Q) = (P P) + (P Q) = 0 + (P Q) =PQ

Sanda, 2012.

31

PRIMJER 4
A = P (P + Q)
P 0 Q 0 P P +Q A

A =P Q
P
0 0

Q
0 1

0
1 1
Sanda, 2012.

1
0 1

1
1

0
1
32

PRIMJER 4

Sanda, 2012.

33

PRIMJER 5
AB+AB+AC+ C =AB+AB+AC+ C = A (B + B) + C (A + 1) =AB+C1 =AB+C
Sanda, 2012. 34

P=AB+AB+AC+C
A 0 0 0 0 1 1 1 B 0 0 1 1 0 0 1 C 0 1 0 1 0 1 0 AB AB AC P

1
Sanda, 2012.

1
35

P=AB+C
A 0 B 0 C 0 AB P

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1
Sanda, 2012.

0
1 1

1
0 1
36

37

PRIMJER 6
ABC+ABC+ ABC+ABC =ABC+ABC+ABC+ABC

= A B (C + C) + A B (C + C)
=AB1+AB1 = B (A + A) =B
Sanda, 2012. 38

ABC+ABC+ ABC+ABC
A B C A B C AB C AB C AB C AB C

0 0 0 0 1 1 1 1
Sanda, 2012.

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1
39

P=B
B
0 0 1 1 0 0 1 1
Sanda, 2012. 40

41

PRIMJER 7

P+Q

=P+Q =PQ =PQ

Sanda, 2012.

42

PRIMJER 7
A=P+Q
P 0 Q 0 P Q P+ Q A

A =P Q
P
0 0

Q
0 1

0
1 1
Sanda, 2012.

1
0 1

1
1

0
1
43

PRIMJER 7

Sanda, 2012.

44

PRIMJER 8
A B + A+ B =A+B+AB = A (1 + B) + B =A+B

=AB
Sanda, 2012.

78/13
45

PRIMJER 9
ABC+CB+AB+A+B =ABC+CB+AB+AB = A B C + C B + B (A + A) = B (A C + 1) + C B
Sanda, 2012.

=B+CB

66/1
46

PRIMJER 10
A (B + C) + B (A + C) + C (A + B) =AB+AC+BA+BC+CA+C B = A (B + B) + B (C + C) + C (A + A) = A + B + C = (A + B) + C

=AB+C= AB
Sanda, 2012.

77/11
47

PRIMJER 11
A C (A + B) + B C ( A + B) =ACA+ACB+BCA+BC B = A B (C + C) =AB

=A+B
Sanda, 2012.

77/12
48

PRIMJER 12
A (B + C) + B (A + C) + C (A + B) =AB+AC+BA+BC+CA+C B = A (B + B) + C (A + A) + C (B + B) =A+C+C =A+ C
78/14
Sanda, 2012. 49

PRIMJER 13
A (B + C) (A + B C)

= A + (B + C) (A B C )
= (A + B + C ) (A B C) =AABC+BABC+CAB

C
Sanda, 2012.

=ABC

80/18
50

PRIMJER 14A
A (B + B) C + B (A + C) + A (B C + A) =AC+BA+BC=A+C+BA+B C = A (1 + B) + C (1 + B) = A + C = A C = A C + A (B C + A)
79/17
Sanda, 2012. 51

PRIMJER 14B
= A C + A (B C + A) = A C A (B C + A) =(A + C ) (A + (B C + A)= (A + C) (A + B C A) =( A + C) ( A (1 + B C)) = ( A + C) A
Sanda, 2012.

=AA+CA =CA
52