Primitivne normalne forme rauna

sudova
Uvod u formalne metode

raun sudova propozicijska logika

Vrste primitivnih normalnih formi

negacijska normalna forma

disjunktivna normalna forma

konjunktivna normalna forma

raun sudova propozicijska logika

Negacijska normalna forma

Sud je u negacijskoj normalnoj formi ako se u

njemu nalaze samo negacije atomarnih sudova
i ako ne sadri dvostruke ili viestruke
negacije.

Za svaki sud moemo upotrebom pravila

dvostruke negacije i De Morganovih pravila
odrediti logiki ekvivalentan sud u negacijskoj
normalnoj formi.
raun sudova propozicijska logika

Negacijska normalna forma

Primjer:
((AB)C)

(AB)C

(AB)C

(AB)C

raun sudova propozicijska logika

Disjunktivna normalna forma

Neka su L1, , Ln literali. Tada se sud oblika

L1Ln naziva konjunkt.

Neka su C1, , Cn konjunkti. Tada kaemo da

je sud C1Cn
u disjunktivnoj normalnoj formi (DNF).

raun sudova propozicijska logika

Konjunktivna normalna forma

Neka su L1, , Ln literali. Tada se sud oblika

L1Ln naziva disjunkt.

Neka su D1, , Dn disjunkti. Tada kaemo da

je sud D1Dn
u konjunktivnoj normalnoj formi (KNF).

raun sudova propozicijska logika

DNF i KNF

Za svaki sud postoji logiki ekvivalentan sud u

DNF i logiki ekvivalentan sud u KNF.

Svaki se sud moe pretvoriti u DNF ili KNF

primjenom de Morganovih zakona, dvostruke
negacije, zakona distributivnosti, asocijativnosti
i komutativnosti te koritenja ekvivalencija za
kondicional i bikondicional.

raun sudova propozicijska logika

DNF - primjer

Pretvoriti sud (AB)(CD) u DNF:

(AB)(CD) (AB)(CD)
((A(CD))(B(CD))
((AC)(AD))((BC)(BD))
(AC)(AD)(BC)(BD)

raun sudova propozicijska logika

KNF - primjer

Pretvoriti sud (AB)(CD) u KNF:

(AB)(CD)(AB)(CD)
((A(C D))(B(CD))
((AC)(AD))((BC)(B D))
(AC)(AD)(BC)(B D)

raun sudova propozicijska logika

10

Izraunavanje DNF pomou

semantike tablice

Izraunati semantiku tablicu za sud.

Promotriti sve retke koji imaju vrijednost 1 i
vrijednosti atoma u njima:
 Negirati sve one atome koji imaju vrijednost
0, a one koji imaju vrijednost 1 ostaviti bez
negacije
 Spojiti tako dobivene literale pomou
konjunkcija
Tako dobivene konjunkte spojiti disjunkcijama
raun sudova propozicijska logika

11

DNF pomou tablica - primjer

Pretvorimo sud
F(G(FH))
u DNF.

raun sudova propozicijska logika

12

DNF pomou tablica - primjer

F
0
0
0
0
1
1
1
1

G H F (G (F H))
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
raun sudova propozicijska logika

13

DNF pomou tablica - primjer

F
0
0
0
0
1
1
1
1

G H F (G
0 0
1
0
0 1
1
0
1 0
1
0
1 1
1
1
0 0
0
0
0 1
0
0
1 0
1
1
1 1
0
0

(F H))
0
1
1
0
0
1
1
0
1
0
0
1
1
0
0
1

raun sudova propozicijska logika

14

DNF pomou tablica - primjer

F
0
0
0
0
1
1
1
1

G H F (G
0 0
1
0
0 1
1
0
1 0
1
0
1
1
1 1
0 0
0
0
0 1
0
0
1 0
1
1
1 1
0
0

(F H))
0
1
1
0
0
1
1
0
1
0
0
1
1
0
0
1

raun sudova propozicijska logika

FGH
FGH
FGH
FGH

FGH
15

DNF pomou tablica - primjer

F(G(FH))
( F G H) ( F GH)
( FG H) ( FGH)
(F G H)

raun sudova propozicijska logika

16

Izraunavanje KNF pomou

semantike tablice

Izraunati semantiku tablicu za sud.

Promotriti sve retke koji imaju vrijednost 0 i
vrijednosti atoma u njima:
 Negirati sve one atome koji imaju vrijednost
1, a one koji imaju vrijednost 0 ostaviti bez
negacije
 Spojiti tako dobivene literale pomou
disjunkcija
Tako dobivene disjunkte spojiti konjunkcijama
raun sudova propozicijska logika

17

KNF pomou tablica - primjer

Pretvorimo sud
F(G(FH))
u KNF.

raun sudova propozicijska logika

18

KNF pomou tablica - primjer

F
0
0
0
0
1
1
1
1

G H F (G
0 0
1
0
0 1
1
0
1 0
1
0
1 1
1
1
0 0
0
0
0 1
0
0
1 0
1
1
1 1
0
0

(F H))
0
1
1
0
0
1
1
0
FGH
1
0
FGH
0
1
1
0
FGH
0
1

raun sudova propozicijska logika

19

KNF pomou tablica - primjer

F((G(FH)))
( F G H) ( F G H)
( F G H)

raun sudova propozicijska logika

20

Vjeba

Pretvorite sljedee sudove u DNF i KNF

pomou tablica i kataloga ekvivalencija
formula:
 F(G(HF))
 (FG)(G(FH))
 (FG)(F(GH))
 (H(F(GH)))(GF)
 (F((G H)F))

raun sudova propozicijska logika

21