.., k ) =00...0 i=1 Näide Antud loogikafunktsioon f(x1, x2, x3, x4)= x 1 x2 x1 x4 x 1 x3 Disjunktiivne arendus argumendi x1 järgi: x 1 ( x2 x3 ) x1 ( x4 ) Disjunktiivne arendus argumendi x2 järgi: x 2 ( x1 x4 x1 x3 ) x2 ( x1 x4 ) Disjunktiivne arendus argumendipaari (x1 x2 )järgi: x 1 x 2 ( x3 ) x 1 x2 ( 1) x1 x 2 ( x4 ) x1 x2 ( x4 ) Konjunktiivne arendus argumendi x1 järgi: ( x1 ( x2 x3 ) ) ( x 1 ( x4 ) ) Sulgudes arendusargumentide järel on nn. jääkfunktsioonid. Jääkfunktsioon näitab, milliseks muutub vaadeldav funktsioon, kui arendusargumentidele on omistatud konstantsed väärtused. Loogikafunktsiooni tuletis Loogikafunktsiooni f(x1, x2,..., xn) tuletis argumendi xi on määratud järgmise valemiga: ( f ( x1 , x2 ,..., xn ) ) = f ( x , x ,..., x ,0, xi +1 ,..., xn ) f ( x1 , x2 ,..., xi -1 ,1, xi +1 ,..., xn ) ( xi ) 1 2 i -1 Näide
Disjunktiivne arendus argumendi x2 järgi: x 2 x1 x4 x1 x3 x2 x 1 x4 Disjunktiivne arendus argumendipaari (x1 x2 )järgi: x1 x 2 x3 x 1 x2 1 x1 x 2 x4 x1 x2 x4 Konjunktiivne arendus argumendi x1 järgi: x1 x2 x3 x 1 x4 29 Sulgudes arendusargumentide järel on nn. jääkfunktsioonid. Jääkfunktsioon näitab, milliseks muutub vaadeldav funktsioon, kui arendusargumentidele on omistatud konstantsed väärtused. Loogikafunktsiooni tuletis Loogikafunktsiooni f(x1, x2,..., xn) tuletis argumendi xi on määratud järgmise valemiga: f x1 , x2 ,..., xn f x1 , x2 ,..., xi 1 ,0, xi 1 ,..., xn f x1 , x2 ,..., xi 1 ,1, xi 1 ,..., xn xi Näide