Professional Documents
Culture Documents
Poglavlje 3 Iskazna Algebra
Poglavlje 3 Iskazna Algebra
Poglavlje 3 Iskazna Algebra
dr Esad Jakupović
U skupu B ={0, 1} (o kome je bilo riječi u odeljku 1.1.)
definišemo unarnu operaciju i binarne operacije pomoću sledeće
tablice:
Dokaz.
Ako F1, F2, ... , Fn F onda F ima vrijednost 1 kad god F1, F2,. . ., Fn
F F2 ... Fn F
imaju vrijednost 11.
U ovom slučaju ima vrijednost 1.
Stoga je tautologija.
Posmatrajmo formulu iskazne algebre F F p1, p2 ,..., pn
koja sadrži iskazna slova p1, p2, ... , pn.
Za svaku vrijednost uređene n-torke (p1, p2,...pn) (naravno, svako
iskazno slovo može da dobije vrijednost 0 ili 1) formula F dobija
vrijednost 0 ili I. F : B n
B
Dakle, formula F definiše jednu funkciju skupa B u skup B, tj.
n
.
Ovakve funkcije nazivaju se Booleove funkcije.
Pregled Booleovih funkcija sa jednom i sa dve promjenljive je dat
u sledećim tabelama:
Teorema 1.
Za proizvoljnu Booleovu funkciju važi formula
f p1, p2 ,..., pn f e1, e2 ,...en p1e p2e ... pne .
1 2 n
n
eb
Dokaz.
Konjunkcija p1 p2 ... pn p1e ako
p2e je
... pne
e e e
je jednaka 1 ako i samo
1 2 n 1 2 n
Primjer 1.
Savršena disjunktivna normalna forma Booleove funkcije zadate
pomoću navedene tablice glasi
f p1, p2 , p3 p1 p2 p3
p1 p2 p3 p1 p2 p3
p1 p2 p3 p1 p2 p3
e1, e2 ,..., en
Ako je E skup svih n-torki f e1,je
takvih da e2 ,..., en 0
formuli (3) se može dati oblik
f p1, p2 ,..., pn p1e1 p2e2 ... pnen
eE
(4)
Primjer 2.
f p1,Savršena
p2 , p3 p1 konjunktivna
p2 p3 p1 normalna
p2 p3 p1forma
p2 pfunkcije iz
3
primjera 1 glasi
f p1, p1.
Definicija 2 ,..., pn
p { p} baza
Da bi dokazali da jepskup p piskazne algebre dovoljno je da
dokažemo da se pomoću p q mogu
p q izraziti
p q p iqV , jer se na osnovu
ranijeg izlaganja sve operacije mogu izraziti pomoću i V.
Na sličan način se za Shefferovu operaciju dobija
p p p p p,
p q p q p q p q ,
,
čime se dokazuje da je { } baza, jer je i { } baza,
Lukasiewieczeva i Shefferova operacija su međusobno dualne.