Maksimaalsed ühtede intevallid: {3,7},{0,1,2,3}. Intervalle võime esitada baasis {0,1,-} Näiteks: {1} 001 x1 x2 x3 {0,1,2,3} 0-- x1 {3,7} -11 x2x3 · Konjunktsiooni, mis vastab ühtede intervallile nimetatakse funktsiooni implikandiks. · Konjunktsiooni, mis vastab maksimaalsele ühtede intervallile nimetatakse funktsiooni lihtimplikandiks. · Kõigi lihtimplikantide disjunktsioon esiatb funktsiooni taandatud DNK. Näit. f(x1 ,x2 ,x3 ) = (1,3,6,7)1 Lihtimplikandid: {1,3} 0-1 {3,7} -11 {6,7} 11- Taandatud DNK: x1 x3 x2 x3 x1 x2 · Taandatud DNK võib sisaldada liiaseid liikmeid. Eelmises näites esitatud funktsiooni MDNK on järgnev: x1 x3 x1 x2 . Kõik eelpool esitatu võib olla interpreteeritud nullide piirkonna ja vastavalt KNK jaoks (maksimaalne nullide intervall, taandatud KNK jne.) Ülesanded
12 Intervalle võime esitada baasis {0,1,-} Näiteks: {1} 001 x1 x2 x3 {0,1,2,3} 0-- x1 {3,7} -11 x2x3 Konjunktsiooni, mis vastab ühtede intervallile nimetatakse funktsiooni implikandiks. Konjunktsiooni, mis vastab maksimaalsele ühtede intervallile nimetatakse funktsiooni lihtimplikandiks. Kõigi lihtimplikantide disjunktsioon esiatb funktsiooni taandatud DNK. Näit. f(x1 ,x2 ,x3 ) = (1,3,6,7)1 Lihtimplikandid: {1,3} 0-1 {3,7} -11 {6,7} 11- Taandatud DNK: x1 x3 x2 x3 x1 x2 Taandatud DNK võib sisaldada liiaseid liikmeid. Eelmises näites esitatud funktsiooni MDNK on järgnev: x1 x3 x1 x2 . Kõik eelpool esitatu võib olla interpreteeritud nullide piirkonna ja vastavalt KNK jaoks (maksimaalne nullide intervall, taandatud KNK jne.) Ülesanded