12.07.2015 Views

Skyrius 3 Bulio funkcijos - techmat.vgtu.lt

Skyrius 3 Bulio funkcijos - techmat.vgtu.lt

Skyrius 3 Bulio funkcijos - techmat.vgtu.lt

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

£¢ £¢ £ ¥§¢ ¨ ¥¥§¢ £ ¢ £ ¥¥§¢ ¥¥ ¤ ¢ £ ¥¥§¢ §¢££¡ ¦£ ¢ £ ¦ ¢ ¢ ©¦£ ¢ £¢ ¦ ¢ ¢ ¦ ¤ ¤¤ ¦ ¢ £ ¦ ¢ ¢ ©¦ ¢ ¦ ¦¤ £ ¢£¤¦¤ ¨ ¢©¨ ¦ ¢ ¢ ©¦§¤ ¢©¥¥¤£ ¡ £ ¦ ¢ ¢ ©¦ ¤¡ ¤§¦¥¦¡ ¥¤ ¥¡ £ £ ¦ ¢ ¢ ©¦ ¤¡ ¤£ ¥¤ £¦¥£¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢¢¡ £ ¦ ¢ ¢ ¦ ¤¡ ¤ ¨¤ £¡ £¢ ¥¤¨ ¢ ¥¥ ¨ ¢ § ¥¥¦¡ ¥ ¥¥ £¡ ¥ £¡ ¥¥ ¡§ ¡ 3.4. PILNOSIOS FUNKCIJŲ SISTEMOS 13ir sudėtinę funkcija˛galima išreikšti taip:Taigi įrodėme, kad funkcija £ yra tiesinė ir tiesiniu˛funkciju˛klasė uždara.¢3.4.4 Sistemos pilnumo būtinos ir pakankamos salygos˛Bet kuri bulinė funkcija išreiškiama disjunkcine arba konjunkcine normaliaja ˛ forma.Todėl funkciju ˛ (rašome atitinkančias operecijas) © ¥ ¡ ¥ § sistema yra pilnoji.Taikant de Morgano dėsnius, konjunkcija˛galima išreikšti neigimu bei disjunkcijair atvirkščiai. Taigi pilnosios yra ir šios © ¥ § sistemos: © ¥ ¡ , . Prisiminkime,kad mes žinome dar tris pilnasias ˛ funkciju˛© ¥ ¤ sistemas: (žr. ??), , (žr.3.1.4).1 lemaTarkime, ¢ £ ¥§¢ ¨¥¦¥§¢ kad . Tada taikant ¢ funkcijas ¢ ir iš josgalima gauti nesavidualiaj ˛ a˛vieno kintamojo funkcija, ˛ t. y. konstanta.˛Įrodymas. ¢¤£ ¥§¢ ¨¥¥§¢© Funkcija nėra savidualioji. Todėl egzistuoja toks¤ £ rinkinys ¤¨ , , ¤ , , kadPažymėkime funkcijas ¢ ) ir apibrėžkime vieno kintamojofunkcija˛ ¤ £¥ ¤ ¨¥¦¥ ¤ ¢£¥¦¤¨¥¦¥¦¤ ¥¤( ¡¥©¨ ¥¥§¤Turime ¢ £ ¥¤¨ ¥¥ § ¥¤ £¥¦¤ ¨¥¢ ¢ ¢ ¥¦¤ ¡

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!