Booleova algebra

George Boole (1815. – 1864.)

Što je Booleova algebra?

• dio matematičke logike koji se bavi izjavama i sudovima

• izjavama se koristimo svakodnevno i one mogu biti istinite ili
lažne:
▪ Ljeti često pada snijeg. – lažna izjava
▪ Vikendom se uglavnom odmaramo. – točna izjava
• u računalu se provjeravaju aritmetičko-logičke izjave
▪ 2 > 3 – lažna izjava
▪ 3 + 2 = 5 – točna izjava
• istinite izjave u računalu se prikazuju s vrijednosti 1 ili true (T)
• lažne izjave u računalu se prikazuju s vrijednosti 0 ili false (F)
Osnovne logičke operacije
A ഥ
𝐀
• negacija – logičko ne (not) 0 1
▪ simbol: ¬ ili – 1 0

• konjunkcija (logičko množenje) – logičko I A B A·B

1 1 1
(and)
1 0 0
▪ simbol: ˄ ili ·
0 1 0
• disjunkcija (logičko zbrajanje) – logičko ILI (or) 0 0 0
▪ simbol: ˅ ili +
A B A+B
1 1 1
1 0 1
0 1 1
0 0 0
Negacija
A ¬A
• logičko ne
0 1
• mijenja vrijednost s 0 na 1 ili obrnuto
• prikazuje se na nekoliko načina: 1 0

• ¬A
•Ā
• not A
Konjunkcija

• logičko množenje A B A·B

• prikazuje se na nekoliko načina: 1 1 1

•A˄ B 1 0 0

•A• B 0 1 0

• A and B 0 0 0

• A && B
• da se dođe do zadovoljenoga stanja (1), potrebno je da uvjeti A
i B budu zadovoljeni (1)
Konjunkcija

• npr. da bi mogao ići van s prijateljima, moraš očistiti sobu i

napisati zadaću
• uvjet A – je li soba očišćena?
• uvjet B – je li zadaća napisana?

A B A·B soba je očišćena i zadaća je napisana, pa možeš ići

van s prijateljima
1 1 1
soba je očišćena, ali zadaća nije napisana,
1 0 0 pa ne možeš ići van s prijateljima

0 1 0 zadaća je napisana, ali soba nije očišćena,

pa ne možeš ići van s prijateljima
0 0 0
soba nije očišćena i zadaća nije napisana te nikako
ne možeš ići van s prijateljima
Disjunkcija
A B A+B
• logičko zbrajanje
1 1 1
• prikazuje se na nekoliko načina
•Av B 1 0 1

•A+B 0 1 1

• A or B 0 0 0

•A| B
• da se dođe do zadovoljenoga stanja (1), potrebno je da jedan
od uvjeta (A ili B) budu zadovoljeni (1)
Disjunkcija

• npr. da bi mogao ići van s prijateljima, moraš ili očistiti sobu ili
napisati zadaću
• uvjet A – je li soba očišćena?
• uvjet B – je li zadaća napisana? soba je očišćena i zadaća je napisana, pa možeš ići
A B A+B van s prijateljima
1 1 1 iako zadaća nije napisana, soba je očišćena
1 0 1 pa možeš ići van s prijateljima

0 1 1 iako soba nije očišćena, zadaća je napisana

pa možeš ići van s prijateljima
0 0 0 soba nije očišćena i zadaća nije napisana te nikako
ne možeš ići van s prijateljima
Složene logičke izjave

• nastaju kombiniranjem osnovnih logičkih operacija (npr. prvo

imamo konjunkciju vrijednosti te nakon toga disjunkciju)
• najviši je prioritet negacija (¬), zatim konjunkcija te disjunkcija
• A = 0, B = 0, C = 0
•𝐀ഥ + B • C → 1 + (0 • 0) → 1 + 0 A B C ഥ
𝐀 B·C ഥ +B·C
𝐀
→1 0 0 0 1 0 1
0 0 1 1 0 1
0 1 0 1 0 1
0 1 1 1 1 1
1 0 0 0 0 0
1 0 1 0 0 0
1 1 0 0 0 0
1 1 1 0 1 1
Teoremi Booleove algebre

• logički izraz koji je istinit za sve interpretacije formule naziva se

tautologija
A+𝐀 ഥ=1 A+1=1 A+0=A A·1=A
• logički izraz koji je lažan za sve interpretacije formule naziva se
kontradikcija
A·𝐀 ഥ= 0 A·0=0
• dvostruka negacija
ഥ=A
𝐀
Teoremi Booleove algebre

• jednaka važnost
A·A=A A+A=A
• De Morganov zakon
A+A=𝐀 ഥ·𝐀 ഥ ഥ+𝐀
A·A =𝐀 ഥ
• apsorpcija
A+𝐀 ഥ·B=A+B
Teoremi Booleove algebre

• asocijativnost
(A + B) + C = A + (B + C) (A · B) · C = A · (B · C)

• distributivnost
A · (B + C) = (A · B) + (A · C) A + (B · C) = (A + B) · (A + C)
Dokazivanje teorema tablicama istinitosti

• dokaži da je ഥ·𝐁
A+B= 𝐀 ഥ

A B A+B A+B A B ഥ
𝐀 ഥ
𝐁 ഥ·𝐁
𝐀 ഥ

1 1 1 0 1 1 0 0 0
1 0 1 0 1 0 0 1 0
0 1 1 0 0 1 1 0 0
0 0 0 1 0 0 1 1 1
Konjuktivna i disjunktivna norma

• konjuktivnom se normom koristimo kad u rezultatima za

ulazne vrijednosti imamo manje nula jednadžba

• uzmemo retke u kojima je krajnji rezultat nula A B

Y=f(A, B)
rezultat

• negiramo varijablu koja ima vrijednost 1 0 0 1 ഥ)·

(A + 𝐁
ഥ+𝐁
(𝐀 ഥ)
1 0 1
te je zbrojimo s drugom varijablom ഥ
0 1 0 A+ 𝐁
• na kraju obije vrijednosti pomnožimo te 1 1 0 ഥ+𝐁
𝐀 ഥ

dobivamo jednadžbu
Konjuktivna i disjunktivna norma

• disjunktivnom se normom koristimo kad u rezultatima za

ulazne vrijednosti imamo manje jedinica jednadžba

• uzmemo retke u kojima je krajnji rezultat jedan A B

Y=f(A, B)
rezultat

• negiramo varijablu koja ima vrijednost 0 1 1 0 ഥ ) + (𝐀

(A · 𝐁 ഥ·
ഥ B)
te je pomnožimo s drugom varijablom 1 0 1 A· 𝐁
0 0 0
• na kraju obije vrijednosti zbrojimo te 0 1 1 ഥ· B
𝐀
dobivamo jednadžbu
Logički sklopovi

• elektronički elementi koji su namijenjeni izvođenju određenih

funkcija
• primjenjuju se u računalima, regulacijskim krugovima i
uređajima za daljinsko mjerenje
• signal koji ulazi u sklopove može imati jedno od dva diskretna
stanja (0 i 1)
Osnovni logički sklopovi

A
A·B
B i (and)

A A+B
B ili (or)

A ഥ
𝐀
ne (not)
Izvedeni logički sklopovi
ULAZ IZLAZ ULAZ IZLAZ
A B A XILI B A B A NI B
A 0 0 1
B (A · B) NI (NAND) 0 0 0
0 1 1
0 1 1
1 0 1
A 1 0 1
1 1 0
B (A + B) NILI (NOR) 1 1 0 ULAZ IZLAZ
ULAZ IZLAZ
A B A NILI B
A
A⊕B
A B A XNILI B
B XILI (XOR) 0 0 1
0 0 1 0 1 0
0 1 0 1 0 0
A
B (A ⊕ B) XNILI (XNOR) 1 0 0 1 1 0
1 1 1
Primjeri:

• Simulacije: https://informatickeigre.com/2r/logicki-sklopovi/
• logički sklop za A · B

A A·B A
A·B A·B
B ili B

ഥ+B·C
• logički sklop za A
A ഥ
A
ഥ+B·C
A
B
B·C
C
Primjeri:

ഥ·B+A·B
•𝐀 ഥ

ഥ
𝐀 ഥ·B
𝐀
B
A
ഥ·B+A·B
𝐀 ഥ

A ഥ
A·B
ഥ
B
Zadatci:

• logičke operacije: https://www.e-u.hr/info-

struk/dok/lekcija/zadatci-7-logicke-operacije_843_2032.pdf
• teoremi: https://www.e-u.hr/info-struk/dok/lekcija/zadatci-8-
teoremi-booleove-algebre_844_2033.pdf
• logički sklopovi: https://www.e-u.hr/info-struk/dok/lekcija/zadatci-
9-logicki-sklopovi_845_2035.pdf