Sveuilite u Zagrebu

Fakultet organizacije i informatike, Varadin

UVOD U FORMALNE METODE

DNF i KNF

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

G
0
0
1
1
0
0
1
1

H
0
1
0
1
0
1
0
1

1
1
1
1
0
1
1
1

(G

1
0
1
1
0
1
1
1

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

DNF: (FGH)(FGH)(FGH)(FGH)(FGH)
(FGH)(FGH)
KNF: FGH
Ekvivalencije:
F(G(HF))
F(G((HF)(HF)))
F(G(HF)(HF))
FG(HF)(HF)

DNF

F(G(HF))
F(G((HF)(HF)))
F(G((HF)(HF)))
F(GHF)(GHF))
(FGHF)(FGHF)
FGH
KNF

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

G
0
0
1
1
0
0
1
1

H
0
1
0
1
0
1
0
1

(F
G)
0
0
0
0
0
0
1
1

0
0
1
1
0
0
1
0

(
G
1
1
0
0
1
1
0
0

1
1
0
0
1
1
1
0

0
0
0
0
1
0
1
0

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

DNF: (FGH)(FGH)(FGH)
KNF: (FGH)(FGH)(FGH)(FGH)(FGH)
Ekvivalencije:
(FG)(G(FH))
((FG)(G(FH)))((FG)(G(FH)))
((FG)(G(FH)))((FG)(G(FH)))
((FG)(G(FH)))((FG)(G(FH)))
((FG)((GF)(GH)))((FG)(G(FH)))
(((FG)(GF))(GH))(((FG)G)(FH))
(((FGG)( FGF))(GH))(((FG)(GG))(FH))
((FGG)(FGH))((FGF)(FGH))
(FGH)(FG)(FGH)
(FG)(FGH)(FGH)
DNF
(FG)(G(FH))
((FG)(G(FH)))((FG)(G(FH)))
((FG)(G(FH)))((FG)(G(FH)))
((FG)(G(FH)))((FG)(G(FH)))
((FG)((GF)(GH)))((F(G(FH)))(G(G(FH))))
((FGGF)(FGGH))((F(G(FH)))(G(G(FH))))
(FGH))(((FG)(FFH))((GG)(GFH)))
(FGH))(FG)G(GFH)
G(FG)(FGH)(FGH)
KNF

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

G
0
0
1
1
0
0
1
1

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

0
0
1
1
1
1
1
1

(F

0
0
1
0
1
1
1
1

(G

0
0
1
0
0
0
1
0

H))
1
0
1
0
1
0
1
0

DNF: (FGH)(FGH)(FGH)(FGH)(FGH)(FGH)
KNF: (FGH)(FGH)
Ekvivalencije:
(FG)(F(GH))
(FG)(F(GH))
((FG)(FG))(F(GH))
((FG)(FG))(F(GH))
(FG)(FG)F(GH)
F(FG)(FG)(GH)
DNF
(FG)(F(GH))
(FG)(F(GH))
((FG)(FG))(F(GH))
((FG)(FG))((FG)(FH))
((FG)((FG)(FH)))((FG)((FG)(FH)))
((FGFG)(FGFH))((FGFG)(FGFH))
(FG)(FGH)
KNF

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

G
0
0
1
1
0
0
1
1

H
0
1
0
1
0
1
0
1

(
H
1
0
1
0
1
0
1
0

1
0
0
0
1
0
1
0

(F

1
0
0
1
1
1
1
1

(G
H)))
1
0
0
1
1
0
0
1

1
1
1
1
1
1
1
1

(G
F)
1
1
0
0
1
1
1
1

DNF: (FGH)(FGH)(FGH)(FGH)(FGH)(FGH)
(FGH)(FGH)
KNF:
Ekvivalencije:
(H(F(GH)))(GF)
(H(F(GH)))(GF)
(H(F((GH)(GH))))(GF)
(H(F((GH)(GH))))(GF)
(H(FGH)(FGH))(GF)
FGH(FGH)(FGH))

DNF

(H(F(GH)))(GF)
(H(F(GH)))(GF)
(H(F((GH)(GH))))(GF)
(H(F(GH)(GH)))(GF)
((HF)(HGH)(HGH))(GF)
(HFGF)(HGGF)

KNF

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

G
0
0
1
1
0
0
1
1

H
0
1
0
1
0
1
0
1

1
1
1
0
0
0
0
0

(F

0
0
0
1
1
1
1
1

0
0
0
1
0
0
0
0

((G
H)
0
0
0
1
0
0
0
1

F))
1
1
1
0
1
1
1
1

DNF: (FGH)(FGH)(FGH)
KNF: (FGH)(FGH)(FGH)(FGH)(FGH)
Ekvivalencije:
(F((GH)F))
(F((GH)F))
(F((GH)F))
F(GHF)
(FG)(FH)(FF)
(FG)(FH)

KNF
DNF