Qfrhikb Zutkrhci
Acii ?<<6-?<<1
Eknohdcthkdci ikbhe
Zwk-hdput DCDJ bctf ocsfj kd csshbd mfywkrj
nkjuif fxcnpif3(e,c,o)=fdjnkjuif
Z`f ’csshbd„ tfe`dhquf hs eciifj c
’ekdthdukus csshbdnfdt.„
Ha t`frf crf sfvfrci ekdthdukus csshbdnfdts, t`f krjfr jkfs dkt ncttfr, t`fy crf fxfeutfj ekdeurrfdtiy.
Fxcnpif
7 csshbd e>~(c&o)= csshbd j>cTo= Z`f ekjf `cs tk of nkjhahfj ceekrjhdbiy cjjhdb t`f shbdci ’j„ cs cd kutput. Uhbdcis c, o, e crf whrfs oy jfacuit, out wf jk dkt `cvf tk jfeicrf t`fn hd t`hs fxcnpif. Dktf7 Z`f ekjf nust of wrhttfd tk c ahif, typheciiy wht` c ’.v„ fxtfdshkd. Vsf t`f scnf dcnf akr t`f ahif cdj t`f nkjuif tk cvkhj ekdaushkd.
coe
hdput c, o=kutput e= // Audethkdcihtycsshbd e > ~(c & o)=
Zwk-Hdput DCDJ bctf ocsfj kd t`f ciwcys mfywkrj
nkjuif fxcnpif? (c,o,e)= // \krt nkjfshdput c,o=kutput e= // _fbhstfrfj hjfdthahfrsrfb e= // Audethkdcihtyciwcys L (c kr o) e > ~(c & o)=fdjnkjuif
•
Cii hdputs usfj hd t`f prkefjurf nust cppfcr hd t`f sfdshthvhty ihst (fvfdt/trhbbfr ihst).
•
Z`f ’ciwcys„ mfywkrj nfcds t`ct t`f ehreuht ciwcys (ekdthdukusiy) wcte`fs t`f shbdcis hd t`f hdput ihst ( t`f L (c kr o) pcrt) cdj rfspkdjs tk e`cdbfs hd t`ksf shbdcis oy hnnfjhctfiy upjcthdb t`f kutput. Z`hs hs
prkefjurci csshbdnfdt.
•
Eknohdcthkdci ehreuht kutputs nust cisk of jfeicrfj cs rfbhstfrfj hjfdthahfrs w`fd t`f ’ciwcys„ nft`kj (’prkefjurci csshbdnfdt„) hs usfj. Hd Qfrhikb ekjf rfb vcrhcoifs ecd of usfj tk nkjfi fht`fr eknohdcthkdci kr sfqufdthci pcrts ka t`f ehreuht.
•
Z`f ‐>‐ oikemhdb csshbdnfdt wcs usfj hd t`hs fxcnpif (hdshjf t`f ciwcys oikem).
•
Qfrhikb eknphifr fvciuctfs t`f stctfnfdts hd cd ciwcys oikem hd t`f krjfr hd w`he` t`fy crf wrhttfd h.f. hd sfqufdthci krjfr. Ha c vcrhcoif hs bhvfd c vciuf oy c oikemhdb csshbdnfdt, t`fd t`hs dfw vciuf hs usfj hd fvciucthdb cii suosfqufdt stctfnfdts hd t`f oikem .
Ufdshthvhty ihst
coe