|
|
Bulovi izrazi-kanonske forme
Def 1.1)Bulove konstante 0,I i Bulove promenjive su bulovi izrazi;2)ako su A i B bulovi izrazi, onda su (A V B),(A • B), ¯A¯, ¯B¯ bulovi izrazi;3)B. izrazi nastaju samo konacnom primenom delova 1 i 2 ove def.
Elementarna konjunkcija je k anonska, ako svaka promenjiva ima tacno jedno pojavljivanje. Analogno se odredjuje kanonska elementarna disjunkcija.
Pr. xyz, su kanonske elementarne konjukcije u odnosu na promenjive x,y,z dok xy nije jer ne sadrzi z niti ¯z¯.
Bulov izraz C1 V C2 V … V Cr, gde su Ci elementarne konjukcije zove se disjuktivna normalana forma(DNF)
Bulov izraz D1 D2…Dr gde su Di elemetarne disjukcije zove se konjuktivna normalana forma (KNF).
Pr. x V xy V ¯x¯ y; je DNF x(x V y)( ¯x¯ V y) je KNF
Def 2. Disjuktivna forma V ( na m,i=1ispod) Ci je kanonska disjuktivna normalna forma (KDNF) u odnosu na promenjive x1, x2,…xn ako su C1,C2,…Cm kanonske elementarne konjukcije u odnosu na te promenjive.Analogno se definise kanonska konjuktivna normalna forma (KKNF) Π (na m, i=1ispod) Di, gde su di kanonske elementarne disjunkcije u odnosu na promenjive x1,x2,..Xn.