Scribd
Upload
45 views

Logic1 Notes Logic1notes Chapter 1

This chapter will cover core techniques in propositional logic, including concepts such as propositions, propositional connectives, well-formed formulas, truth valuations and truth tables. The skills students will learn include distinguishing sentences that express propositions from those that don't, identifying well-formed formulas and connectives, translating natural language sentences into propositional logic formulas, and using truth tables to determine logical properties of formulas.

Uploaded by

helloron2309
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
45 views

Logic1 Notes Logic1notes Chapter 1

This chapter will cover core techniques in propositional logic, including concepts such as propositions, propositional connectives, well-formed formulas, truth valuations and truth tables. The skills students will learn include distinguishing sentences that express propositions from those that don't, identifying well-formed formulas and connectives, translating natural language sentences into propositional logic formulas, and using truth tables to determine logical properties of formulas.

Uploaded by

helloron2309
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 43

QBSU J

$PSF 5FDIOJRVFT
JO 1SPQPTJUJPOBM -PHJD

[NBSDI ]

MBOHVBHFBOENPEFMT
PGQSPQPTJUJPOBMMPHJD

XIBUZPVXJMMMFBSOJOUIJTDIBQUFS
DPODFQUT
5IFTFBSFUIFJEFBTBOEDPODFQUTXFMMMFBSOJOUIJTDIBQUFSPGUIFOPUFT
1SPQPTJUJPOT UIFTFBSFUIFGVOEBNFOUBMVOJUTPGJOGPSNBUJPO 5IFZ
BSFUIFLJOETPGUIJOHTXFDBOBTTFSUPSEFOZ BHSFFPSEJTBHSFF
CFMJFWFPSOPUCFMJFWF

6TF UIFTF TVNNBSZ TFDUJPOT BU UIF TUBSU


PG FBDI DIBQUFS UP LFFQ USBDL PG XIBU
ZPVSF MFBSOJOH 8F IBWF RVJ[[FT BOE
EJTDVTTJPO GPSVNT POMJOF GPS ZPV UP
QSBDUJDF ZPVS TLJMMT BOE HFU GBNJMJBS
XJUI FBDI PG UIFTF DPODFQUT

1SPQPTJUJPOBMDPOOFDUJWFT 5IFTFBSFUIFMPHJDBMDPODFQUT BOE 



PS
OPU
POMZJG
JGBOEPOMZJG

8FXJMMEFGJOFUIF XFMMGPSNFEGPSNVMBT PG QSPQPTJUJPOBMMPHJD

8F XJMM JOUSPEVDF UIF UPPMT PG USVUI WBMVBUJPOT BOE USVUI UBCMFT
:PVMMHFUGBNJMJBSXJUIUIFTFSVMFTA  B JTUSVFJGGCPUI A BOE
B BSFUSVF A B JTUSVFJGGBUMFBTUPOFPG A BOE B BSFUSVF A
JTUSVFJGG A JTOPUUSVF A B JTGBMTFJGG A JTUSVFBOE B JTGBMTF
A B JTUSVFJGG A BOE B IBWFUIFTBNFUSVUIWBMVF
8F XJMM DMBTTJGZ GPSNVMBT BDDPSEJOH UP UIFJS MPHJDBM CFIBWJPVS
:PVMMCFBCMFUPSFDPHOJTF UBVUPMPHJFT DPOUJOHFODJFT BOE DPOUSBEJD
UJPOT
8F XJMM DMBTTJGZ UIF XBZ EJGGFSFOU GPSNVMBT DBO SFMBUF UP FBDI
PUIFS :PVMMVOEFSTUBOEUIFSFMBUJPOTPG MPHJDBMDPOTFRVFODF MPH
JDBMFRVJWBMFODF CFJOH DPOUSBEJDUPSJFT DPOUSBSJFT BOE TVCDPOUSBSJFT

TLJMMT
5IFTFBSFUIFTLJMMTZPVXJMMMFBSOUPEFNPOTUSBUF
%JTUJOHVJTIJOHTFOUFODFTXIJDIFYQSFTTQSPQPTJUJPOTGSPNUIPTF
UIBUEPOU
*EFOUJGZXFMMGPSNFEGPSNVMBT BOEUIFNBJODPOOFDUJWFPGBGPS
NVMB
5SBOTMBUF OBUVSBM MBOHVBHF TFOUFODFT JOUP GPSNVMBT PG QSPQPTJ
UJPOBMMPHJD FTQWBSJFUJFTPGJNQMJDBUJPO JG POMZJG VOMFTT FUD
6TFUSVUIUBCMFTUPEFUFSNJOFXIFUIFSBGPSNVMBJTBUBVUPMPHZ B
DPOUSBEJDUJPO BDPOUJOHFODZ
6TFUSVUIUBCMFTUPEFUFSNJOFXIFUIFSPSOPUGPSNVMBTBSFSFMBUFE
CZMPHJDBMDPOTFRVFODFPSMPHJDBMFRVJWBMFODF PSXIFUIFSUIFZ
BSFDPOUSBEJDUPSZ DPOUSBSJFTPSTVCDPOUSBSJFT


5IFSFBSFNBOZXBZZPVDBOUIJOLBCPVUMPHJD 4PNFQFPQMFUIJOL
PGMPHJDBTBXIPMFMPUPGUJQTBOEUSJDLTGPSUIJOLJOHXFMM 0UIFSQFP
QMFUIJOLPGMPHJDJTUIFCPEZPGUIFNPTUHFOFSBMUSVUITBCPVUUIJOHT
4UJMMPUIFSTUIJOLPGMPHJDBTUIFMBXTPGUIPVHIU &BDIPGUIFTFJEFBT
QSPWJEFEJGGFSFOUXBZTJOUPUPQJD 5IFXBZ XF VOEFSTUBOEUIFUPQJD
PGMPHJDJTBEJGGFSFOUGSPNBMMPGUIPTFJEFBT 8IFOZPVMPPLBUUIF
IJTUPSZPGMPHJDFTQFDJBMMZUIFLJOEPGMPHJDUIBUIBTGMPXFSFEJOUIF
HSFBUXPSLTPGUIFUIBOEUIFCFHJOOJOHPGUIFTU$FOUVSZ ZPVTFF
BMPUPGXPSLBCPVU QSPPGT BCPVU NPEFMT BCPVU TFOUFODFT UIFXBZUIFZ
SFMBUFUPFBDIPUIFS IPXUIFZDBOCF EFSJWFE PS SFGVUFE PSIPXUIFZDBO
CF JOUFSQSFUFE 5IJTXPSLJOMPHJDJTBQQMJFEJONBOZEJGGFSFOUBSFBT MJLF
DPNQVUFSTDJFODF JOUIFTUVEZPGEBUBCBTFT BOEJOUIFJOUFSQSFUBUJPOPG
QSPHSBNNJOHMBOHVBHFTBOEBMHPSJUINT
JOFMFDUSPOJDFOHJOFFSJOH JO
UIFTUVEZPGEJHJUBMDJSDVJUT
JOMJOHVJTUJDT JOUIFTUVEZPGUIFNFBOJOHT
PGXPSETBOETFOUFODFT
JONBUIFNBUJDT JOUIFTUVEZPGQSPPGTBOE
NPEFMTGPSEJGGFSFOUNBUIFNBUJDBMUIFPSJFT
BOEJOQIJMPTPQIZ JOUIF
EFWFMPQNFOU PG GVOEBNFOUBM UIFPSJFT BCPVU FYJTUFODF PS QPTTJCJMJUZ
BOEOFDFTTJUZ BOENVDINPSFCFTJEFT

*OBMMPGUIJT MPHJDQBZTBUUFOUJPOUP MBOHVBHF BOE XIBUXFDBOFYQSFTT
JOPVSMBOHVBHF -PHJDJTFTQFDJBMMZDFOUSFEPOUIFXBZUIFDMBJNTXF
NBLFSFMBUFUPFBDIPUIFS -PHJDJBOTBSFDPODFSOFEXJUIOPUJPOTMJLF
UIFTF
DPOTJTUFODZ
$BOUIFTFDMBJNTCFUSVFUPHFUIFS 0SBSFUIFZ JODPOTJTUFOU
JOUIBUUIFZ DMBTI BOEDBOOPUCFBMMUSVF
DPOTFRVFODF
%PUIFTFQSFNJTFTIBWFUIJTTUBUFNFOUBTBDPOTFRVFODF *GXF
BSFDPNNJUUFEUPUIFQSFNJTFTPGUIJTSFBTPOJOH BSFXF BUMFBTU
JNQMJDJUMZ
BMTPDPNNJUUFEUPUIFDPODMVTJPO 0SJTUIFSFTPNF
XBZXFDPVMEHSBOUUIFQSFNJTFTCVUBWPJEUIBUDPODMVTJPO
FRVJWBMFODF
8IFOEPEJGGFSFOUTFOUFODFTBNPVOUUPTBZJOHUIFTBNFUIJOH
XIJMFFYQSFTTJOHJUJOEJGGFSFOUXBZT )PXDBOZPVTIPXUIBU
UXPTFOUFODFT EPOU TBZUIFTBNFUIJOH *TUIFPOMZXBZUPGJOEB
DJSDVNTUBODFXIFSFPOFDPVMEIPMEXJUIPVUUIFPUIFSPOFBMTP
IPMEJOH
2VFTUJPOTMJLFUIFTFDBOBMMBEESFTTFEVTJOHUIFUPPMTGSPNMPHJD UPPMT
UIBUXFMMMFBSOJOUIJTTVCKFDU -FUTTUBSUPVSTUVEZPGMPHJDCZMPPL
JOHNPSFBUUIFLJOETPGTFOUFODFTXIJDIQMBZBSPMFJODPOTJTUFODFZ
DPOTFRVFODFBOEFRVJWBMFODF

 ] MBOHVBHFPGQSPQPTJUJPOBMMPHJD
*OUIJTTFDUJPOXFXJMMJOUSPEVDFUIFMBOHVBHFPGQSPQPTJUJPOBMMPHJD


MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

 ] QSPQPTJUJPOT
" TFOUFODFFYQSFTTFTB QSPQPTJUJPO JGGJUNBLFTBTUBUFNFOUBCPVU
IPXUIJOHTBSF 1SPQPTJUJPOTBSFUIFLJOETPGUIJOHTUIBUDBOCF
USVF PS GBMTF :PVDBO BHSFFXJUI PS EJTBHSFFXJUI FUD

5IJT ZFMMPX CPY PGGFST B EFGJOJUJPO 1BZ


TQFDJBM BUUFOUJPO UP ZFMMPX CPYFT XIFO
SFWJTJOH CFDBVTF UIFTF BSF UIF EFGJOJ
UJPOT PG LFZ DPODFQUT


4P QSPQPTJUJPOTBSFJNQPSUBOUCFDBVTFUIFZSFUIFVOJUTUIBUGFBUVSF
XIFOXFDPOTJEFSDPOTJTUFODZ DPOTFRVFODFBOEFRVJWBMFODF

8F VTF PSBOHF CPYFT GPS FYBNQMFT


5IFTF JMMVTUSBUF UIF EFGJOJUJPOT

5IFTFBSFTFOUFODFTUIBUFYQSFTTQSPQPTJUJPOT
8FIBWFTUVEFOUTGSPNBMMPWFSUIFXPSME
5IFSFJTOPEJGGFSFODFCFUXFFOUIFNJOEBOEUIFCSBJO


3 + 5 < 4 + 3

:PVDBOTFFUIBUUIFTFTFOUFODFTBSFUIFLJOETPGUIJOHTUIBUBSFFJUIFS
USVF PS GBMTF 5IBUXFDBO BHSFFXJUI PS EJTBHSFFXJUI 8FDPVMEVTFUIFN
BTB QSFNJTF JOPVSSFBTPOJOH PSBTB DPODMVTJPO * BHSFFUIBUXFEPIBWF
TUVEFOUTGSPNBMMPWFSUIFXPSME * IBWFSFBEBSHVNFOUTXIJDIQVSQPSU
UPTIPXUIBUUIFSFJTOPEJGGFSFODFCFUXFFOUIFNJOEBOEUIFCSBJO
BOE* IBWFSFBEBSHVNFOUTUIBUQVSQPSUUPTIPXUIBUUIFNJOEJTOPU
UIFCSBJO #PUIDPODMVTJPOTXPVMETIPXUIBU5IFSFJTOPEJGGFSFODF
CFUXFFOUIFNJOEBOEUIFCSBJOEPFTFYQSFTTBQSPQPTJUJPO FWFOJG
XFEPOUBHSFFPOXIFUIFSJUTUSVFPSOPU 'JOBMMZ3 + 5 < 4 + 3
FYQSFTTFTBQSPQPTJUJPO FWFOJGJUTBOPCWJPVTMZGBMTFPOF TJODF 8 JTJT
MBSHFSUIBO 7 OPUTNBMMFS
*UTIPVMECFDMFBSUIBUOPUBMMTFOUFODFTFYQSFTTQSPQPTJUJPOT 5IFSF
BSFNBOZUIJOHTXFDBOEPXJUITFOUFODFTCFTJEFTTUBLJOHPVSDMBJNPO
XIBUJTUSVF

5IF * IFSF JT (SFH CVU TPNFUJNFT UIF


* JO UIFTF OPUFT JT +FO PS CPUI PG VT
TJNVMUBOFPVTZ

4PNF QFPQMF DPNQMBJO BCPVU UIF DMBVTF


UIBU QSPQPTJUJPOT TIPVME NBLF B TUBUF
NFOU BCPVU IPX UIJOHT BSF #VU GBMTF
QSPQPTJUJPOT BSF TUJMM QSPQPTJUJPOT BOE
TUBUFNFOUT BCPVU BCTUSBDU BOE JOWJTJCMF
UIJOHT MJLF OVNCFST
BSF TUJMM BCPVU
UIJT XPSME

5IFTFBSFTFOUFODFTUIBU EPOU FYQSFTTQSPQPTJUJPOT


1MFBTFEPOUXBUDIUIFTFMFDUVSFTXIJMFESJWJOHBDBS
8IBUJTUIFDBQJUBMPG&UIJPQJB
5IBOLHPPEOFTT UIFQPPSDBU
)J +FO

5IFGJSTUTFOUFODFIFSFNBLFTB SFRVFTU *UJTBO JNQFSBUJWF 5IFSFRVFTU
DBOOPUCF USVF PS GBMTF *UDBOCFXJTFPSGPPMJTIUPNBLFUIFSFRVFTU
BOEJUDBOCFDPNQMJFEXJUIPSGMPVUFE BOEZPVDBOBHSFFUPGPMMPX
JU PSPCKFDUUPJU #VUJUDBOOPUCFUIFLJOEPGUIJOHUIBUJTVTFEBTB
QSFNJTFPSBDPODMVTJPOJOBOBSHVNFOU 5IFTFDPOETFOUFODFBTLTB
RVFTUJPO 5IBUJTBTQFDJBMLJOEPGSFRVFTU BSFRVFTUGPSJOGPSNBUJPO
"HBJO UIBUTOPUUIFLJOEPGUIJOHUIBUDBOCFUSVFPSGBMTF 5IFUIJSE
g MBOHVBHFPGQSPQPTJUJPOBMMPHJD

&WFO UIPVHI XF UBLF QSPQPTJUJPOT UP


CF UIF DFOUSBM GPDVT PG MPHJD /VFM #FM
OBQT %FDMBSBUJWFT BSF OPU FOPVHI <>
SFNJOET VT UIBU JNQFSBUJWFT HSFFUJOHT
BOE PUIFS TQFFDI BDUT BSF BT JNQPSUBOU
GPS MPHJD BOE QIJMPTPQIZ BT EFDMBSBUJWFT
UIF TFOUFODFT UIBU FYQSFTT QSPQPTJUJPOT



TFOUFODFJTBOFYQSFTTJPOPGHSBUJUVEFPSTVSQSJTF 5IFMBTUJTB HSFFUJOH


5IFTF BMTP DBOOPUCFUSVFPSGBMTF
)FSFBSFHVJEFMJOFTGPSEJTUJOHVJTIJOHTFOUFODFTUIBUFYQSFTTQSPQPTJ
UJPOTGSPNUIPTFUIBUEPOU " QSPQPTJUJPO JTUIFLJOEPGUIJOHZPV
DPVME
CFMJFWFPSEJTCFMJFWF
BHSFFPSEJTBHSFFXJUI
BTTFSUPSEFOZ
HJWFBSFBTPOGPSPSBHBJOTU
VTFBTBSFBTPOGPSPSBHBJOTUTPNFUIJOHFMTF BOE
FYQSFTTXJUIB EFDMBSBUJWFTFOUFODF
5IFTF BSF UIF FYBNQMFT XF BMTP VTF
JO UIF WJEFP MFDUVSFT UP UFTU ZPVS
LOPXMFEHF 8F HP JOUP UIF BOTXFST
JO NPSF EFQUI IFSF CFMPX JO UIF
HSFFO CPY %POU SFBE UIF BOTXFST
JNNFEJBUFMZ 5SZ UIF RVFTUJPOT GPS
ZPVSTFMG UP UFTU ZPVS PXO VOEFS
TUBOEJOH PG UIF NBUFSJBM )FBE UP UIF
*Qm`b2` EJTDVTTJPO CPBSET JG ZPV
IBWF RVFTUJPOT BCPVU UIFTF BOTXFST

)FSFJTBOPQQPSUVOJUZGPSZPVUPUFTUZPVSVOEFSTUBOEJOH
GPSZPV 8IJDIPGUIFTFTFOUFODFTFYQSFTTQSPQPTJUJPOT
B

(SFHMJWFTJO.FMCPVSOF
8IBUEPZPVUIJOLPGMPHJDTPGBS
* XJTI* IBEMFBSOFEMPHJDCFGPSF
*UTJNNPSBMUPDPOTVNFNFBU
5IJTMBTUTFOUFODFPOUIFMJTUJTOPUUSVF



BOTXFST
B
:FT 5IJTFYQSFTTFTB USVF
QSPQPTJUJPO
C
/P 5IJTBTLTBRVFTUJPO
D
:FT 5IJT DBO CF FJUIFS USVF PS GBMTF *U FYQSFTTFT B
TFOUJNFOUBXJTI CVUJUFYQSFTTFTUIFTFOUJNFOUCZXBZPG
NBLJOHBTUBUFNFOU 0OFXBZZPVDBOUFMMUIBUUIJTFYQSFTTFT
BQSPQPTJUJPOJTUPTFFUIBUZPVDPVMEVTFUIJTTFOUFODFUPJO
TJODFSF :PVDPVMETBZUIPTFXPSETXIFOJOGBDUZPVEPOPU
XJTIZPVIBEMFBSOFEMPHJDCFGPSF
E
:FT 5IJTFYQSFTTFTBQSPQPTJUJPO *UTUIFLJOEPGUIJOHXF
DBOHJWFSFBTPOTGPSPSBHBJOTU BOEBHSFFPSEJTBHSFFXJUI
F
5IJT JT DPOUSPWFSTJBMJU JT QBSBEPYJDBM 4PNF QFPQMF UIJOL
UIBUQBSBEPYJDBMTUBUFNFOUTBSFEFGFDUJWF BOEEPOUFYQSFTT
QSPQPTJUJPOT 0UIFSTUIJOLUIBUEFTQJUFCFJOHQBSBEPYJDBM
UIJTEPFTFYQSFTTBQSPQPTJUJPO

 ] DPOOFDUJWFT
$POOFDUJWFT BSF MJLF HMVF XF VTF DPOOFDUJWFT UP DPNCJOF EJGGFSFOU
QSPQPTJUJPOT LJOEBUBMM
*G JUTSBJOJOH BOE * EPOU IBWFNZVNCSFMMB
UIFO *MMHFUXFU VOMFTT *NMVDLZ
)FSF JT BOPUIFS TFOUFODF NBEF VQ PG EJGGFSFOU QSPQPTJUJPOT XIJDI
VTFTUIFTBNFDPOOFDUJWFT JOUIFTBNFTUSVDUVSFBTUIFGJSTUTFOUFODF


MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

*G * TUSJLFUIFNBUDI BOE JUJTOU XFU


UIFO JUXJMMMJHIU VOMFTT JUTJOBWBDVVN
"OEIFSFJTBOPUIFS
*G n > 5 BOE m JTOU FWFO
UIFO f(m, n) > 5 VOMFTT m = n
"TZPVDBOTFF XFDBOVTFUIFTFXPSETMJLFJGBOEBOEBOEOPUBOE
VOMFTTUPKPJOTUBUFNFOUTBCPVUUIFXFBUIFS NBUDIFT PSNBUIFNBU
JDT $POOFDUJWFTKPJOQSPQPTJUJPOTUPNBLFOFXQSPQPTJUJPOT XIBUFWFS
UIPTFQSPQPTJUJPOTBSFBCPVU XJUIPVUBEEJOHUPPSDIBOHJOHUIFUPQJD
VOEFSEJTDVTTJPO *OUIJTTFDUJPO XFMMMPPLBUUIFDPOOFDUJWFTXFMM
FYBNJOFJOPVSJOUSPEVDUJPOUPMPHJD
DPOKVODUJPO $POTJEFSUIFTFUXPQSPQPTJUJPOT
*UTSBJOJOH

* EPOUIBWFNZVNCSFMMB

8FDBOBTTFSUCPUIPGUIFNBUPODFCZBTTFSUJOHUIFJS DPOKVODUJPO
*UTSBJOJOH BOE * EPOUIBWFNZVNCSFMMB

'PS QSPQPTJUJPOT p BOE q UIFJS DPOKVODUJPO JT UIF QSPQPTJUJPO


XIJDIXFMMXSJUFBTp  q
p q BSFUIF DPOKVODUT PGUIFDPOKVODUJPO p  q


/PUBMMVTFTPGUIFXPSEBOEGPSNDPOKVODUJPOT -PPLBUUIFGPMMPX
JOHQSPQPTJUJPOT 8FMMTFFIPXTPNFPGUIFNGPSNDPOKVODUJPOT BOE
TPNFEPOPU

*O TPNF PUIFS MPHJD UFYUT ZPVMM TFF B


DPOKVODUJPO XSJUUFO XJUI B XFEHF 
8F VTF UIF BNQFSTBOE

$MBODZJTUJSFEBOE.BEJTPOIBTBIFBEBDIF
:FT UIJTJTBDPOKVODUJPO 5IFDPOKVODUTBSFTJNQMF $MBODZ
JTUJSFEBOE.BEJTPOIBTBIFBEBDIF
* MFBSOFEMPHJDBOE* OFWFSSFHSFUUFEJU
 :FT UIJT JT B DPOKVODUJPO 5IF GJSTU DPOKVODU JT * MFBSOFE
MPHJD 5IFTFDPOEJTCFTUOPUFYQSFTTFEBT* OFWFSSFHSFUUFE
JU CFDBVTFXIFOXFUBLFUIJTDMBVTFPVUPGUIFTFOUFODF JUTOPU
TPDMFBSXIBUJUNFBOT #FUUFSUPFYQSFTTJUBT* OFWFSSFHSFUUFE
MFBSOJOHMPHJD
-FFBOE%BSDZBSFMPWFST
5IJTJT OPU BTUSBJHIUGPSXBSEDPOKVODUJPO *GCZUIFTFOUFODF
ZPVNFBOUIBU-FFBOE%BSDZMPWFFBDIPUIFS UIFOUIJTJTOPU
UIFDPOKVODUJPOPG-FFJTBMPWFSBOE%BSDZJTBMPWFS 4P JU
EPFTOUIBWFUIFTBNFTUSVDUVSFBT-FFBOE%BSDZBSFMPHJDJBOT
XIJDIJTUIFDPOKVODUJPOPG-FFJTBMPHJDJBOBOE%BSDZJTB
MPHJDJBO
g MBOHVBHFPGQSPQPTJUJPOBMMPHJD



* XFOUPVUBOEIBEEJOOFS
5IJTJTBMTPOPUBTUSBJHIUGPSXBSEDPOKVODUJPO BUMFBTU JUJT
OPUUIFDPOKVODUJPOPG* XFOUPVUBOE* IBEEJOOFSJGJUTBZT
UIBU* IBEEJOOFS BGUFS * XFOUPVU PSCFUUFS XIJMF * XBTPVU

0OFGBMTFNPWFBOE* TIPPU
/P 5IJTJTOPUBDPOKVODUJPO *UFYQSFTTFTUIFDMBJNUIBU
JG ZPVNBLFPOFGBMTFNPWF * TIPPU 5IJTJTB DPOEJUJPOBM OPUB
DPOKVODUJPO

)BOH PO GPS B QBHFXFMM


HFU UP DPOEJUJPOBMT TPPO

GPSZPV 8IJDIPGUIFGPMMPXJOHQSPQPTJUJPOTBSFDPOKVODUJPOT
0GUIPTFUIBUBSF XIBUBSFUIFJSDPOKVODUT
*NUBLJOH -PHJD BOE -PHJD
$MBODZBOE.BEJTPOHPUNBSSJFE
.BOHPFTBOECBOBOBTBSFOVUSJUJPVT
%PDUPS8IP BOE 4IFSMPDL)PMNFT IBWFOFWFSCFFOPOUIFTBNF
57 QSPHSBN
F
%PDUPS8IP BOE +BNFT#POE IBWFCFFOQMBZFECZNBOZEJGGFS
FOUBDUPST


F

:FT *NUBLJOH -PHJDBOE*NUBLJOH -PHJD


/P OPUJGJUNFBOTUIBU$MBODZBOE.BEJTPOHPUNBSSJFEUP
FBDIPUIFS
:FT .BOHPFT BSF OVUSJUJPVT BOE #BOBOBT BSF OVUSJ
UJPVT
/P UIJTNFBOTUIBUUIFZWFOFWFSCFFOPOB57 QSPHSBN
XJUIFBDIPUIFS
:FT %PDUPS8IP IBTCFFOQMBZFECZNBOZEJGGFSFOUBDUPST
BOE+BNFT#POE IBTCFFOQMBZFECZNBOZEJGGFSFOUBDUPST

BOTXFS
$POKVODUJPOJTOPUUIFPOMZXBZUPDPNCJOFUXPTUBUFNFOUT 8FDBO
BMTPVTF EJTKVODUJPO
EJTKVODUJPO 8FDBOBTTFSUUIBU BUMFBTUPOF PGUIFUXPQSPQPTJUJPOTBSF
USVFCZBTTFSUJOHUIFJS EJTKVODUJPO
*MMHFUXFU PS *NMVDLZ
%JTKVODUJPOTDBOCFJOUFSQSFUFEBT JODMVTJWF
*MMHFUXFU PS *NMVDLZ BOENBZCFCPUI

PS FYDMVTJWF
*MMHFUXFU PS *NMVDLZ BOEOPUCPUI



MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

0GUFO XIFOBTTFSUJOHBEJTKVODUJPO XFEPOPUNBLFDMFBSXIFUIFS


XFNFBOUPJODMVEFUIFDBTFUIBUCPUIEJTKVODUTBSFUSVF PSXIFUIFS
XFNFBOUPFYDMVEFJU 5IFSBSFNBOZJOUFSFTUJOHJTTVFTPOIPXXF
JOUFSQSFUEJTKVODUJPOTJOOBUVSBMMBOHVBHF *OUIJTUFYU XFXJMMGPDVT
POJODMVTJWFEJTKVODUJPOBTJUJTFBTJFSUPXPSLXJUIJONBOZXBZT JO
QBSUJDVMBS JUIBTB EVBM SFMBUJPOTIJQXJUIDPOKVODUJPO
'PS QSPQPTJUJPOT p BOE q UIFJS JODMVTJWF EJTKVODUJPO JT UIF
QSPQPTJUJPOXIJDIXFMMXSJUFBTp q

"T XF XJMM TFF JO UIF OFYU TFDUJPO XIFO


XF TUVEZ USVUI UBCMFT B DPOKVODUJPO
JT USVF XIFO BOE POMZ XIFO CPUI DPO
KVODUT BSF USVF "O JODMVTJWF EJTKVOD
UJPO JT GBMTF XIFO BOE POMZ XIFO CPUI
EJTKVODUT BSF GBMTF 5IJT JT IF EVBMJUZ
XF NFBO

p BOE q BSFDBMMFEUIF EJTKVODUT PGUIFEJTKVODUJPO


6OMFTTBDUTMJLFBEJTKVODUJPOUPP

5IF TZNCPM JT GSPN WFM UIF -BUJO


XPSE GPS PS

*MMHFUXFU VOMFTT*NMVDLZ
5IJT TBZT FJUIFS * HFU XFU PS * BN MVDLZ *G OFJUIFS IPMET UIFO UIF
TUBUFNFOUJTGBMTF *GFJUIFSIPMET UIFTUBUFNFOUJTUSVF
*MMHPUPUIFQBSUZVOMFTT$MBODZJTUIFSF

*UT POF UIJOH GPS VOMFTT UP CF B EJT


KVODUJPO 4IPVME VOMFTT CF USFBUFE
BT JODMVTJWF PS FYDMVTJWF 8IBU EP ZPV
UIJOL

5IJTTBZTUIBUFJUIFS* HPUPUIFQBSUZ PS$MBODZJTUIFSF *G$MBODZJT


OPUBUUIFQBSUZ ZPVECFSJHIUUPFYQFDUNFUPCFUIFSF CFDBVTF*WF
TBJEUIBU*MMHPVOMFTT$MBODZJTUIFSF
DPOEJUJPOBMT 8FDBOFYQSFTTSFMBUJPOT CFUXFFO QSPQPTJUJPOTCZXBZ
PGDPOEJUJPOBMT )FSFJTBOFYBNQMF
*GJUSBJOTUIFO*MMHFUXFU
5IJTDPOOFDUTUIFQSPQPTJUJPOTJUSBJOTBOE*MMHFUXFU *UEPFTOPU
TBZUIBUCPUIBSFUSVF JUJTOPUBDPOKVODUJPO
BOEJUEPFTOPUTBZUIBU
FJUIFSBSFUSVF 5IFTUBUFNFOUXPVMECFUSVFPOBTVOOZEBZXIFO*
BNPVUTJEFXJUIPVUBOVNCSFMMB *UFYQSFTTFTBDPOEJUJPOBMDPOOFDUJPO
CFUXFFOUIFUXPQSPQPTJUJPOT UIFJSUSVUIJTDPOOFDUFEJOUIBUJGUIF
GJSTU JUSBJOT
JTUSVFUIFOTPJTUIFTFDPOE *MMHFUXFU

5IFPOFDPOOFDUJPOFYQSFTTFEJOBDPOEJUJPOBMDBOCFFYQSFTTFEJO
NBOZEJGGFSFOUGPSNTPGXPSET
*G p UIFO q
*G p q
q JG p
p POMZJG q
p JNQMJFT q
g MBOHVBHFPGQSPQPTJUJPOBMMPHJD



*OFBDIPGUIFTFDBTFT XFTBZUIBU p JTUIF BOUFDFEFOU BOE q JTUIF DPOTF


RVFOU "OEJOFBDIDBTF UIFTUBUFNFOUUFMMTVTUIBUJG p JTUSVF TPJT q
*OFBDIDBTF UIFTUBUFNFOUJTSFGVUFEJG p JTUSVFBOE q JTOPU /PUJDF
UIBUJOq JG pUIFDPOTFRVFOUDPNFTGJSTU 5IFPOMZJOp POMZJG q
GMJQTUIFPSEFSJOUIFJGCBDLUPUIFBOUFDFEFOUGJSTUBOEDPOTFRVFOU
TFDPOE
*UTJNQPSUBOUUPVOEFSTUBOEUIBUJOBDPOEJUJPOBM XFBSFOPUNBL
JOHBDMBJNBCPVUXIFUIFSUIFBOUFDFEFOU DBVTFT UIFDPOTFRVFOU 8IFO
* TBZJGJUSBJOTUIFO*MMHFUXFUUIFOUIFBOUFDFEFOUJTJUSBJOTBOE
UIFDPOTFRVFOUJT*MMHFUXFU BOEIFSF UZQJDBMMZ UIFSBJODBVTFTNF
UPHFUXFU )PXFWFS * DPVMEFRVBMMZTBZ*MMHFUXFUPOMZJGJUSBJOT
*OUIJTDBTF UIF*MMHFUXFUJTUIF BOUFDFEFOU XIJMFJUSBJOTJTUIF
DPOTFRVFOU *OUIJTDBTF NZHFUUJOHXFUEPFTOU DBVTF UIFSBJO /P UIF
SBJOJGJUSBJOTDBVTFTNFUPHFUXFU OPU WJDFWFSTB
#VUJGXFLOPX
UIBUUIFDPOEJUJPOBMJTUSVF XFDBO MFBSO UIBUJUIBTSBJOFEXIFOXFMFBSO
UIBU* IBWFHPUXFU 5IFDPOOFDUJPOFYQSFTTFEJOUIFDPOEJUJPOBMJTB
DPOOFDUJPOJOUIFUSVUIPSGBMTJUZPGUIFBOUFDFEFOUBOEUIFDPOTFRVFOU
*UJT OPU DMBJNJOHUIBUUIFBOUFDFEFOUDBVTFTUIFDPOTFRVFOU

'PSQSPQPTJUJPOT p BOE q UIFJS DPOEJUJPOBM JG p UIFO qJTUIF


QSPQPTJUJPOXIJDIXFMMXSJUFBTp q
p JTUIF BOUFDFEFOU BOE q JTUIF DPOTFRVFOU PGUIFDPOEJUJPOBM

" IBOEZ UFTU JT UP BTL 8IBU


XPVME DPOWJODF ZPV UIBU UIJT
TUBUFNFOU JT GBMTF " DPOEJUJPOBM
JT GBMTF XIFO UIF BOUFDFEFOU JT
USVF BOE UIF DPOTFRVFOU JT GBMTF

*UTBOJNQPSUBOUTLJMMUPSFDPHOJTFDPOEJUJPOBMT BOEJOQBSUJDVMBS
UPCFBCMFUPSFDPHOJTFUIF BOUFDFEFOU BOEUIF DPOTFRVFOU $POGVTJOHUIF
BOUFDFEFOUBOEUIFDPOTFRVFOUPGDPOEJUJPOBMTJTBTPVSDFPGNBOZMPH
JDBMNJTUBLFT

GPS ZPV 8IJDI PG UIFTF BSF DPOEJUJPOBMT 'PS UIPTF UIBU BSF
DPOEJUJPOBMT JEFOUJGZUIFBOUFDFEFOUBOEUIFDPOTFRVFOU
B
*G* EPOUEPUIFQSBDUJDFFYFSDJTFT * XPOUMFBSO
C
*MMMFBSOJG* EPUIFQSBDUJDFFYFSDJTFT
D
*MMHFUXFUJGJUSBJOTBOE* EPOUIBWFBOVNCSFMMB
E
*MMHFUXFUPOMZJGJUSBJOTBOE* EPOUIBWFBOVNCSFMMB
F
5IFSFQPSUJNQMJFTUIBUNJMMJPOKPCTNBZCFMPTU



MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

g MBOHVBHFPGQSPQPTJUJPOBMMPHJD




5IF CJDPOEJUJPOBM PG p BOE q JT p q


*MMHFUXFUJGBOEPOMZJGJUTSBJOJOH

CJDPOEJUJPOBMT *OQIJMPTPQIZ NBUIFNBUJDTBOEPUIFSUFDIOJDBMEP


NBJOT ZPVXJMMPGUFOTFFBGPSNPGXPSETUIBUFYQSFTTFTBUXPXBZDPO
OFDUJPOCFUXFFOQSPQPTJUJPOT 5IJTGPSNPGXPSETJTUIF CJDPOEJUJPOBM
BOTXFS 0OMZ C
 *O B
BOE D
ZPVTUVEZIBSEJTUIF BOUFDFEFOU
BOEZPVMMEPXFMMJTUIF DPOTFRVFOU


D
*GZPVTUVEZIBSE ZPVMMEPXFMM
C
:PVMMEPXFMMPOMZJGZPVTUVEZIBSE
B
:PVMMEPXFMMJGZPVTUVEZIBSE
GPSZPV 8IJDIPGUIFTFUXPDPOEJUJPOBMTIBTZPVMMEPXFMMBT
UIFBOUFDFEFOU BOEZPVTUVEZIBSEBTUIFDPOTFRVFOU
BOTXFS
B

:FT"OUFDFEFOU * EPOU EP UIF QSBDUJDF FYFSDJTFT $POTF


RVFOU * XPOUMFBSO
:FT"OUFDFEFOU * EPUIFQSBDUJDFFYFSDJTFT $POTFRVFOU *MM
MFBSO
"NCJHVPVT*U DPVME CF UIF DPOEJUJPOBM XJUI BOUFDFEFOU JU
SBJOT BOE * EPOU IBWF NZ VNCSFMMB BOE DPOTFRVFOU *MM HFU
XFU 0S JUDPVMECFUIF DPOKVODUJPO XIPTFGJSTUDPOKVODUJT
UIFDPOEJUJPOBM*MMHFUXFUJGJUSBJOT )PXDBOZPVUFMM
XIJDIJUJT "TLZPVSTFMGUIFRVFTUJPO EPFTJUGPMMPXGSPN
UIFPSJHJOBMTUBUFNFOUUIBU* EPOUIBWFBOVNCSFMMB *GTP
JUTBDPOKVODUJPO *GOPU JUTBDPOEJUJPOBM
"NCJHVPVT*UDPVMECFUIFDPOEJUJPOBMXJUI BOUFDFEFOU *MM
HFUXFU BOE DPOTFRVFOU JUSBJOTBOE* EPOUIBWFNZVNCSFMMB
0S JUDPVMECFUIF DPOKVODUJPO XIPTFGJSTUDPOKVODUJTUIFDPO
EJUJPOBM*MMHFUXFUPOMZJGJUSBJOT )PXDBOZPVUFMMXIJDI
JUJT 5IFTBNFUFTUBTXJUI D

/PJUJTBTUBUFNFOUPGJNQMJDBUJPO CVUUIFBOUFDFEFOUJT
UIFSFQPSUBOEUIJTQISBTFJTOPUJUTFMGBTFOUFODFFYQSFTTJOH
BQSPQPTJUJPO 5IFSFQPSUJUTFMGNJHIUFYQSFTTB WFSZMPOH

QSPQPTJUJPO CVUUIBUJTOPUUIFBOUFDFEFOUJOUIJTTUBUFNFOU

kESBGUPGNBSDI y

p BOE q BSF UIF MFGU BOE SJHIUIBOE FYQSFTTJPOT PG UIF CJ
DPOEJUJPOBM

5IFXPSETJGBOEPOMZJGBSFPGUFOBCCSFWJBUFEJGG
OFHBUJPO 5IFCBTJDXBZPG EFOZJOH BQSPQPTJUJPOJTUPBTTFSUJUT OFHB
UJPO
4NPLJOHJTOPUBMXBZTCBEGPSZPVSIFBMUI
5IJTJTUIFOFHBUJPOPGTNPLJOH JT BMXBZTCBEGPSZPVSTFMG
*G p JTBQSPQPTJUJPO JUT OFHBUJPO JT p
p JTTBJEUPCFUIF OFHBOE PG p

$POTJESUIFGPMMPXJOH8IJDIPGUIFGPMMPXJOHQSPQPTJUJPOTBSFOFHB
UJPOT BOEXIBUBSFUIFJSOFHBOET
*UJTOPUUIFDBTFUIBU*WFXPOUIF-POEPO.BSBUIPO
5IJTJTUIFOFHBUJPOPG* IBWF XPOUIF-POEPO.BSBUIPO
5IBUPVUGJUXPOUDPTUZPV
5IJTJTUIFOFHBUJPOPGUIBUPVUGJUXJMMDPTUZPV
4NPLJOHJTOFWFSCBEGPSZPVSIFBMUI
5IJTJTUIFOFHBUJPOPG4NPLJOHJTTPNFUJNFTCBEGPSZPVSIFBMUI
* BNOPUBDSPPL5IJTJTUIFGBNPVTEFOJBMGSPN3JDIBSE/JYPO JOUIF
XBLFPGUIF8BUFSHBUFTDBOEBM
5IJTJTBOFHBUJPO BOEJUTUIFOFHBUJPOPG* BNBDSPPL
5IBUT FOPVHI GPS JOUSPEVDJOH OFHBUJPO BOE TPNF PG JUT CFIBWJPVST
/PJUTUJNFGPSZPV
GPSZPV 8IJDIPGUIFGPMMPXJOHQSPQPTJUJPOTBSFOFHBUJPOT BOE
XIBUBSFUIFJSOFHBOET
B
* XPOUHPUPUIFQBSUZ
C
* XPOUHPUPUIFQBSUZJG$MBODZJTUIFSF
D
:PVNVTUOUUIJOLUIBUMPHJDJTPOMZGPSDMFWFSQFPQMF
E
5IFGSJEHFEJEOUHFUDMFBOFE VOMFTTZPVDMFBOFEJU



MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y


E
/PUIF EJTKVODUJPO PG B OFHBUJPO UIF OFHBUJPO PG UIF
GSJEHFEJEHFUDMFBOFE
XJUIUIFQSPQPTJUJPOZPVDMFBOFE
UIFGSJEHF
D
/PUIJTJT OPU OFHBUJPOPGZPVNVTUUIJOLUIBUMPHJDJTPOMZ
GPSDMFWFSQFPQMF *GJUTQVSFMZPQUJPOBMGPSZPVUPUIJOL
UIBU MPHJD JT POMZ GPS DMFWFS QFPQMF UIFO CPUI ZPV NVTU
UIJOLUIBUMPHJDJTPOMZGPSDMFWFSQFPQMFBOEZPVNVTUOPU
UIJOLUIBUMPHJDJTPOMZGPSDMFWFSQFPQMFBSFGBMTF .VTU
OPUJTOPUUIFTBNFBTJUTOPUUIFDBTFUIBUZPVNVTU

C
/POPUBOFHBUJPO *UTBDPOEJUJPOBM XJUIUIFOFHBUJPO*
XPOUHPUPUIFQBSUZJOUIFDPOTFRVFOU
B
:FTUIFOFHBUJPOPG* XJMMHPUPUIFQBSUZ
BOTXFS
PUIFSDPOOFDUJWFT 5IFSFBSFQMFOUZPG PUIFS XBZTUPNBLFQSPQP
TJUJPOTPVUPGPUIFSQSPQPTJUJPOT 'PSFYBNQMF JGXFUBLFBOZPGUIF
GPMMPXJOHTFOUFODFGSBHNFOUT
$MBODZCFMJFWFTUIBU
*UJTQPTTJCMFUIBU
*UJTOFDFTTBSZUIBU
CFDBVTF
BOESFQMBDFFBDIFMMQTJTCZBTFOUFODFFYQSFTTJOHBQSPQPTJUJPO UIFOUIF
SFTVMUJTBMTPTFOUFODFFYQSFTTJOHBQSPQPTJUJPO 5IFTFQISBTFGSBHNFOUT
EPUIFKPCPGDPOOFDUJWFTPSPQFSBUPSTJOUIFTBNFTPSUPGXBZUIBUPUIFS
DPOOFDUJWFTEP
8FXPOUMPPLBUUIFTFTPSUTPGDPOOFDUJWFTJOUIJTTVCKFDU TPNFPG
UIFTFBOE NPSF BSFBMTPTUVEJFECZMPHJDJBOT CVUFYBNJOJOHUIFNXPVME
UBLFVTUPPGBSBXBZGSPNXIFSFXFBSFHPJOHJOUIJTTVCKFDU

 ] QSPQPTJUJPOBMGPSNVMBT
4P XFIBWFBGBNJMZPGDPOOFDUJWFT DPOKVODUJPO EJTKVODUJPO UIFDPO
EJUJPOBMBOEUIFCJDPOEJUJPOBM
BOEBOPQFSBUPS OFHBUJPO
 )FSFJTB
TVNNBSZPGUIFOPUBUJPOBOEWPDBCVMBSZXFXJMMVTF
FOHMJTIXPSET

DPOOFDUJWF

TZNCPM

BOE
PS
JG UIFO
JGG
OPU

DPOKVODUJPO
EJTKVODUJPO
DPOEJUJPOBM
CJDPOEJUJPOBM
OFHBUJPO

g MBOHVBHFPGQSPQPTJUJPOBMMPHJD

"O FMMJQTJT JT UIF UISFF EPUT XF VTF UP


JOEJDBUF UIBU TPNFUIJOH IBT MFGU PVU PG
UFYU

8FMM UIFZ IBWF UIF TBNF TPSU PG HSBN


NBS BT UIF USBEJUJPOBM DPOOFDUJWFT
)PXFWFS UIFZ BSF MPHJDBMMZ NVDI NPSF
DPNQMFY &QJTUFNJD MPHJD JT UIF MPHJD PG
LOPXMFEHF BOE CFMJFG UIF MPHJDBM CF
IBWJPVS PG TUBUFNFOUT MJLF x CFMJFWFT
UIBU p BSF TUVEJFE JO FQJTUFNJD MPHJD

BOE NPEBM MPHJD JT UIF MPHJD PG QPTTJCJM
JUZ BOE OFDFTTJUZ #PUI BSF BDUJWF BSFBT
PG TUVEZ JO MPHJD BU UIJT UJNF



8FXJMMVTFUIFTFTZNCPMTUPEFGJOFB GPSNBMMBOHVBHF UPSFQSFTFOUUIF


TUSVDUVSFT :PV DBO UIJOL PG B GPSNBM MBOHVBHF JO UXP XBZT 
 "
GPSNBM MBOHVBHF JT B TQFDJBM MJUUMF MBOHVBHF PG JUT PXO 
 *UT B XBZ
PGSFQSFTUJOHUIF GPSN PS TIBQF PGTFOUFODFTJOPVSFWFSZEBZMBOHVBHFT
#PUIPGUIFTFBSFBQQSPQSJBUFXBZTPGVOEFSTUBOEJOHBGPSNBMMBOHVBHF
5IF GPSNBM MBOHVBHF JT NBEF VQ PG GPSNVMBT " GPSNVMB JO B GPSNBM
MBOHVBHFJTMJLFBTFOUFODFJOBOFWFSZEBZMBOHVBHF " TQFDJBMGFBUVSFPG
GPSNBMMBOHVBHFTJTUIBUXFQSPWJEFQSFDJTSVMFTGPSXIFOTPNFUIJOHJT
BGPSNVMBJOUIFMBOHVBHF 5IFSFBSFOPKVEHFNFOUDBMMTPSCPSEFSMJOF
DBTFT &JUIFSTPNFUIJOHJTDMFBSMZJOUIFMBOHVBHF JUTBXFMMGPSNFE
GPSNVMB
PSJUTDMFBSMZOPU JUTVOHSBNNBUJDBM
 )PXEPXFNBOBHF
UIJT #ZHJWJOHB QSFDJTFHSBNNBS GPSUIFGPSNBMMBOHVBHF
"O BUPN JT TPNFUIJOH UIBU JT JOEJ
WJTJCMF BUPN(SFFL GPS DBOOPU CF
EJWJEFE
 /PX KVTU MJLF FWFSZEBZ
BUPNT DBO CF EJWJEFE UIFZSF NBEF
PG QSPUPOT OFVUSPOT FMFDUSPOT
PVS
BUPNT QFSIBQT DBO CF EJWJEFE UPP CVU
UIF JNQPSUBOU GFBUVSF PG BUPNT JT UIBU
UIFZ IBWF OP GPSNVMBT JOTJEF UIFN

8FEFGJOFUIF GPSNVMBT PGPVSMBOHVBHFCZTUBSUJOHXJUIBDPMMFDUJPOPG


BUPNT 8FMMVTFTPNFDPMMFDUJPOPGTZNCPMTBTUIFTUBSUJOHQPJOUPGB
MBOHVBHFGPSQSPQPTJUJPOBMMPHJD
EFGJOJUJPO " DPMMFDUJPOPG BUPNT JTTPNFDPMMFDUJPOPGTZNCPMT
XFMMVTFUPCVJMEVQGPSNVMBT 8FMMPGUFOVTFMFUUFSTMJLF p q r
s x y r3 s15 p1 p0 . . . BTBUPNT

0ODFXFIBWFPVSBUPNT PVSCVJMEJOHCMPDLT XFUIFOVTFUIFNUP
CVJMEVQBMBOHVBHFPGGPSNVMBT
EFGJOJUJPO 5IF MBOHVBHF PG QSPQPTJUJPOBM MPHJD SFMBUJWF UP B
DIPJDFPGBDPMMFDUJPOPG BUPNT
JTEFGJOFEBTGPMMPXT

"UPNT BSF GPSNVMBT

*G A JTB GPSNVMB
UIFOTPJT A

*G A BOE B BSF GPSNVMBT
UIFOTPBSF (A  B) (A B) (A B) BOE (A B)

/PUIJOHFMTF JTB GPSNVMB

5IJT JT COG PS #BDLVT /BVS 'PSN


GJSTU VTFE JO UIF TQFDJGJDBUJPO PG GPS
NBM DPNQVUFS QSPHSBNNJOH MBOHVBHFT
TVDI BT BMHPM ?iiT,ff+mBXmMB;2X
+?f/#@`2b2`+?f1Mb2B;M2K2Mif
MHvb2BM7Qf#Qmi"L6X?iKH

"OPUIFSXBZUPDPNQBDUMZTQFDJGZUIFHSBNNBSPGUIJTGPSNBMUPVTF
UIFGPMMPXJOHOPUBUJPO
GPSNVMB := BUPN | GPSNVMB | (GPSNVMB  GPSNVMB) |
(GPSNVMB GPSNVMB) | (GPSNVMB GPSNVMB) |
(GPSNVMB GPSNVMB)
5IJT HSBNNBS HJWFTVTSVMFTUPGPMMPXUPHFOFSBUFGPSNVMBTPVUPGBUPNT
'PSFYBNQMF JG p q BOE r BSFBUPNT XFDBOTIPXUIBU (p (q  r))
JTBGPSNVMBUPP )FSFJTUIFDPOTUSVDUJPOQSPDFTT
p q BOE r BSFBUPNT TPCZDPOEJUJPO 
UIFZBSFGPSNVMBT UPP



MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

4JODF p JTBGPSNVMB CZDPOEJUJPO 


p JTBGPSNVMB
4JODF q BOE r BSFGPSNVMBT CZDPOEJUJPO 
(q  r) JTBGPSNVMB
4JODF p BOE (q  r) BSFGPSNVMBT CZDPOEJUJPO 
(p (q 
r)) JTBGPSNVMB UPP

5IFTFBSFGPSNVMBTUPP $BOZPVTFFXIZ
((p  q) r)

((p q) r)


(((p q)  (q r)) (p r))

*UJTOPUUPPEJGGJDVMUUPHPUISPVHIUIFDPOTUSVDUJPOQSPDFTTGPSFBDI
PGUIFTFGPSNVMBT TUBSUJOHBUUIFBUPNT p q BOE r
BOECVJMEJOHVQ
UIF DPOTUJUVFOUT QJFDF CZ QJFDF /PUJDF UIBU UIFSF JT OP QSPCMFN JO
BQQMZJOH SFQFBUFE OFHBUJPOTZNCPMT
8IFSFBT UIFTFTUSJOHTPGTZNCPMTBSFOPUGPSNVMBT
p

#Z DPOEJUJPO 
JG p JT B GPSNVMB TP
JT p #Z DPOEJUJPO 
JG p JT B GPS
NVMB BOE JU JT
TP JT p #Z DPOEJ
UJPO 
JG p JT B GPSNVMB BOE JU JT

UIFO TP JT p #Z DPOEJUJPO 
JG
p JT B GPSNVMB TP JT p "OE
TP PO BE JOGJOJUVN

(p  q r)


p (q r)

$BOZPVTFFXIZ p JTOPUBGPSNVMBCFDBVTFXIFOFWFSXFBEEB
UPBGPSNVMBXFVTFDPOEJUJPO 
BOEUIFPDDVST CFGPSF BGPSNVMB
OPUBGUFSJU 4P p JTOPUBGPSNVMB
(p  qr) JTOPUBGPSNVMBCFDBVTFXIFOFWFSXFBEEPSUPB
GPSNVMBXFVTFDPOEJUJPO 
BOEBDDPSEJOHUPUIJTDPOEJUJPO XIFO
FWFSXFBEEFJUIFSBOPSBOUIFOXFBEEUXPQBSFOUIFTFT POF
MFGU POFSJHIU
 4PBGPSNVMBXJUIPOFBOEPOF TIPVMEDPOUBJO
GPVSQBSFOUIFTFT #VU(p  q r)JTNJTTJOHBQBJSPGQBSFOUIFTFT
4P UPP JTp (q r) *UPOMZIBTUXPQBSFOUIFTFT XIFOJU
TIPVME IBWF GPVS #VU JO UIJT DBTF JU JT JT UIF PVUFSNPTU QBJS UIBU JT
NJTTJOH UIFSF JT OP BNCJHVJUZ JO JOUFSQSFUJOH UIJT TUSJOH PG TZNCPMT
"EEJOH UIF QBSFOUIFTFT XF HFU (p (q r)) B CJDPOEJUJPOBM
XJUIpBT MIF BOE(q r)BT SIF BDPOEJUJPOBMXJUIBOUFDFEFOU
q BOEDPOTFRVFOU r 8FDPVMESFNPWFUIFPVUFSNPTUQBSFOUIFTFTPG
FBDIGPSNVMBXJUIOPMPTTPSDPOGVTJPO 'SPNOPXPOXFMMMFBWFPVU
XSJUJOHEPXOPVUFSNPTUQBSFOUIFTFTXIFOUIJTJTDPOWFOJFOU 5IF
QBSFOUIFTFTBSF UIFSF CVUXFEPOUBMXBZTXSJUFUIFNEPXO

/PX MFUTDPOTJEFSBOFYFSDJTFUPDIFDLIPXZPVSFHPJOHXJUI
GPSNVMBT

g MBOHVBHFPGQSPQPTJUJPOBMMPHJD

*O UIJT DBTF UIF NJTTJOH QBSFOUIFTFT


SFBMMZ EP NBLF B EJGGFSFODF *G XF XFSF
UP BEE UIFN CBDL JO XF IBWF UXP PQ
UJPOT (p  (q r)) B DPOKVODUJPO PG
p XJUI q r PS JU JT ((p  q) r)
XIJDI JT B EJTKVODUJPO PG (p  q) XJUI
r 5IFTF NFBO WFSZ EJGGFSFOU UIJOHT

8IZ QVU UIF PVUFSNPTU QBSFOUIFTFT JO


BU BMM *UT CFDBVTF PG XIFO XF BEE UIF
GPSNVMB JOTJEF BOPUIFS GPSNVMB UIBU
XF OFFE UIF QBSFOUIFTFT p q JT
OPU BNCJHVPVT CZ JUTFMG CVU XIFO XF
DPOKPJO JU UP r BT p q  r XF IBWF
BNCJHVJUZ



GPS ZPV $POTJEFS B UJOZ MBOHVBHF XIJDI DPOUBJOT POMZ UXP


BUPNTp BOE q "OETVQQPTFXFGPSNBMMUIFGPSNVMBTPGPVS
CBCZMBOHVBHFKVTUVTJOHUIFTF UXP BUPNT
8IJDIPGUIFTFGPMMPXJOHBSFGPSNVMBTPGUIJTMJUUMFMBOHVBHF
p
((p q) q)
(p r)

)PXNBOZGPSNVMBTJOUIJTCBCZMBOHVBHFDPOUBJOKVTU 2 TZNCPMT
)PXBCPVU 3 0S 4 0SNPSF


5IFSFBSFPOMZ 2 GPSNVMBTXJUI 2 TZNCPMT p BOE q 5IFSFBSF
BMTP 2 GPSNVMBTXJUI 3 TZNCPMT p BOE q 8FEPOUDPVOU
p  q BTBGPSNVMBXJUIUISFFTZNCPMT *UIBT GJWF FWFOUIPVHIXF
EJEOUXSJUFEPXOUIFPVUFSNPTUQBSFOUIFTFT
*OEFFE UIFSFBSF
POMZ 2 GPSNVMBTXJUI 4 TZNCPMT p BOE q 'PS 5 TZNCPMT
UIFSFBSF 2 + (4 4) = 18 GPSNVMBT p BOE q UPHFUIFS
XJUI (p  p) (p  q) (q  p) BOE (q  p) GPSDPOKVODUJPO BOE
TJNJMBSMZ EJTKVODUJPO UIFDPOEJUJPOBMBOEUIFCJDPOEJUJPOBM
BOTXFS p JTOPUBGPSNVMB CVU ((p q) q) BOE (p r) BSF
GPSNVMBT

 ] GPSNBMJTBUJPO

'PSNBMJTJOH B TFOUFODF JT B LJOE PG


GPDVTTJOH :PV BUUFOE UP TPNF PG UIF
GFBUVSFT PG UIF TFOUFODF UIF MPHJ
DBM DPOOFDUJWFT BOE PQFSBUPST BOE
UIF XBZ UIFZ DPNCJOF UIJOHT
BOE
ZPV JHOPSF PUIFST UIF QBSUJDVMBS
DPOUFOU
 5IJT JTOU UP TBZ UIBU UIF
DPOUFOU JTOU JNQPSUBOU PG DPVSTF
#VU JO GPSNBM MPHJD JUT JNQPSUBOU
UP GPDVT PO UIF XBZ UIBU QSPQPTJ
UJPOT BSF TUSVDUVSFE BOE DPNCJOFE

*GXFXBOUUPVTFMPHJDUPBTTFTTTFOUFODFTPGOBUVSBMMBOHVBHFXFOFFE
UP USBOTMBUF GSPNTFOUFODFTPG&OHMJTI PSBOZPUIFSOBUVSBMMBOHVBHF
UP
GPSNVMBTJOPVSQSPQPTJUJPOBMMBOHVBHF "OPUIFSXBZPGVOEFSTUBOE
JOH UIJT JT UIBU XF BSF JEFOUJGZJOH UIF GPSN PG UIF TFOUFODF JO OBUVSBM
MBOHVBHF %PJOHUIJTIFMQTVTJEFOUJGZMPHJDBMTUSVDUVSFTQSFTFOUJOPVS
TUBUFNFOUT 5IJTJTBTUFQBMPOHUIFXBZPGGJOEJOH GPSNT PVSQSPQPTJ
UJPOTIBWF
5IJTJT GPSNBMJTBUJPO 5IFSFBSFUISFFTUFQTZPVOFFEUPHPUISPVHI
XIFOZPVSFGJOEJOHBMPHJDBMGPSN
 *EFOUJGZUIF$POOFDUJWFT
 $SFBUFB%JDUJPOBSZ
 'JOEUIF'PSN
-FUTMPPLBUBGFXFYBNQMFT
FYBNQMF 'PSNBMJTFUIJTTFOUFODF
.PSHBODBOUEPBEWBODFEMPHJD




MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

VOMFTTTIFTNBTUFSFEDPOOFDUJWFT

-FUTHPUISPVHIUIFUISFFTUBHFT POFCZPOF
 8IBU DPOOFDUJWFT DBO ZPV GJOE JO UIJT TFOUFODF 6OMFTT JT
BEJTKVODUJPO 5IFSFTBMTPBOPUIFSPQFSBUPSIJEJOHUIFSF UIF
OUJODBOU JTBOFHBUJPO .PSHBO DBOU EPBEWBODFEMPHJDJT
UIFOFHBUJPOPG.PSHBO DBO EPBEWBODFEMPHJD
 /PXXFNBLFBEJDUJPOBSZ 8FMPPLGPSUIPTFQSPQPTJUJPOTUIBU
BSFBQBSUPGUIJTTUBUFNFOU XIJDIIBWFOPMPHJDBMDPOOFDUJWFT
PGUIFJSPXO .PSHBODBOUEPBEWBODFEMPHJDJTUIFOFHBUJPO
PG .PSHBO DBO EP BEWBODFE MPHJD BOE UIJT TUBUFNFOU IBT OP
MPHJDBMDPOOFDUJWFT TPXFMMUSFBUUIBUBTBO BUPN -FUTDIPPTF
UIFMFUUFS l UPTUBOEGPSUIBUQSPQPTJUJPO
5IFPUIFSBUPNJOTJEFPVSQSPQPTJUJPOJTFYQSFTTFECZUIFQISBTF
TIFTNBTUFSFEDPOOFDUJWFT *OUIJTDPOUFYUJOUIFTFOUFODF
JUT DMFBS XIBU UIF TIF NFBOT JU NFBOT .PSHBO (JWFO UIBU
XFSFHPJOHUPUBLFUIJTQISBTFTIFTNBTUFSFEDPOOFDUJWFTPVU
PGDPOUFYUUPDPOTJEFSJUCZJUTFMG XFMMSFQMBDFUIJTQSPOPVOCZ
UIFOBNFJUQPJOUTCBDLUP 4PXFMMUBLF.PSHBOIBTNBTUFSFE
DPOOFDUJWFTBTPVSPUIFSBUPNJDQSPQPTJUJPO BOEMFUTDIPPTF
BOPUIFSMFUUFS TBZ c GPSUIJTQSPQPTJUJPO

*UT QVSFMZ B NBUUFS PG DIPJDF BT UP


XIBU MFUUFST ZPV VTF 8F MJLF UP VTF
MFUUFST UIBU SFNJOE VT PG UIF QSPQPTJ
UJPO CFJOH VTFE 8F DPVME IBWF DIP
TFO m GPS .PSHBO CVU .PSHBO GFB
UVSFT JO UIF PUIFS QSPQPTJUJPO BT EPFT
NBTUFSJOH DPOOFDUJWFT #VU XF DPVME
IBWF FRVBMMZ DIPTFO a GPS BEWBODFE
BOE UIBU XPVME IBWF XPSLFE KVTU BT
XFMM

5IJTHJWFTVTUIFGPMMPXJOH EJDUJPOBSZ QBJSJOHVQBUPNJD GPSNVMBT


UIF l BOEUIF c
XJUIQSPQPTJUJPOT
l = .PSHBODBOEPBEWBODFEMPHJD
c = .PSHBOIBTNBTUFSFEDPOOFDUJWFT

 (JWFO UIF EJDUJPOBSZ XF DBO QSPDFFE UP GJOE UIF GPSN PG PVS
TFOUFODF 8FWFTFFOUIBU.PSHBODBOUEPBEWBODFEMPHJDJT
UIFOFHBUJPOPG.PSHBODBOEPBEWBODFEMPHJD TP
.PSHBODBOUEPBEWBODFEMPHJD

JT

5IFOUIFVOMFTTJTBEJTKVODUJPO *OHFOFSBM A VOMFTT BIBT


UIF MPHJDBM GPSN PG UIF EJTKVODUJPO PG A BOE B *G XF TBZ UIBU
.PSHBO DBOU EP BEWBODFE MPHJD VOMFTT IFT NBTUFSFE DPOOFD
UJWFT XFSFTBZJOHUIBUFJUIFS.PSHBODBOUEPBEWBODFEMPHJD
PS.PSHBOIBTNBTUFSFEDPOOFDUJWFT 4PPVSMPHJDBMGPSNJT
(l c)

UIFEJTKVODUJPOPG l XJUI c "TXFWFBMSFBEZTBJE XFDBOMFBWF


PVUUIFPVUFSQBSFOUIFTFTJGZPVMJLF BOEKVTUXSJUFl c
-FUTMPPLBUBOPUIFSFYBNQMF

g MBOHVBHFPGQSPQPTJUJPOBMMPHJD



FYBNQMF 'PSNBMJTFUIJTTFOUFODF
*GZPVEPOUGJOJTI (BNFPG5ISPOFT UIFO* DBOUSFBEJU


 )FSFUIFSFBSFUXPOFHBUJPOT JOEPOUBOEDBOU BOEUIF


DFOUSBMDPOEJUJPOBM
 5IFBUPNJDQSPQPTJUJPOTUIFOBSF
f = :PVGJOJTI (BNFPG5ISPOFT
r = * DBOSFBE (BNFPG5ISPOFT

 5IFOUIFGPSNBMJTBUJPOJTUIFDPOEJUJPOBMXJUIBOUDFEFOUZPV
EPOU GJOJTI (BNF PG 5ISPOFT XIJDI JT GPSNBMJTFE BT f
 BOE
XIPTF DPOTFRVFOU JT * DBOU SFBE (BNF PG 5ISPOFT XIJDI JT
GPSNBMJTFEBT r
 4PUIFXIPMFGPSNVMBJTUIFO

/PUJDF XFWF MFGU PVU IF


PVUFS QBSFOUIFTFT IFSF 8F
XPOU NFOUJPO UIJT BOZ NPSF

f r

GPSZPV 8IJDIPGUIFGPMMPXJOHUISFFTFOUFODFTIBTUIJTGPSN
s (l w)
 *GZPVTUSJLFUIJTNBUDIJUXJMMMJHIU VOMFTTJUJTXFU

 *GZPVTUSJLFUIJTNBUDI FJUIFSJUXJMMMJHIUPSJUTXFU
 5IJTNBUDIXJMMMJHIUJGZPVTUSJLFJU VOMFTTJUJTXFU
XIFSFXFVTFUIFGPMMPXJOHEJDUJPOBSZ EJDUJPOBSZ
s ZPVTUSJLFUIJTNBUDI
l UIJTNBUDIXJMMMJHIU
w UIJTNBUDIJTXFU

BOTXFS  *TUIFDPSSFDUBOTXFS BOECPUIIBWFUIFGPSN


(s l) w *OCPUIDBTFT UIFDPNNBCFGPSFUIFVOMFTTJOEJDBUFT
UIBUUIFDMBVTFCFGPSFJTPOFEJTKVODUPGUIFEJTKVODUJPO *OCPUI
DBTFT UIBUDMBVTFIBTUIFGPSN (s l)
8F POMZ IBWF FYQFSJFODF XJUI B
GFX MBOHVBHFTBOE &OHMJTI JT PVS
POMZ OBUJWF MBOHVBHF "SF UIFSF TQF
DJBM JTTVFT XIFO JU DPNFT UP GJOEJ JU
PUIFS UIBO &OHMJTI "SF UIFSF TQF
DJBM
JTTVFT XIFO JU DPNFT UP GPSNBM

JTJOH BOE PUIFS MBOHVBHFT -FU VT
LOPX JO UIF *Qm`b2` EJTDVTTJPO
CPBSET 8FE MPWF UP IFBS GSPN ZPV

5IJTJTUIFQSPDFTTPGGJOEJOHMPHJDBMGPSNPGTFOUFODFTJOBMBOHVBHFMJLF
&OHMJTI #VUGJOEJOHMPHJDBMTUSVDUVSFPGOBUVSBMMBOHVBHFTFOUFODFTJT
POMZPOFPGUIFNBOZUIJOHTUIBUGPSNBMJTBUJPOBOEGPSNBMJTBUJPOJOUP
UIFMBOHVBHFPGQSPQPTJUJPOBMMPHJDJTHPPEGPS
MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

 ] FYQSFTTJWFQPXFS
)FSFBSFTPNFFYBNQMFTPGXIBUZPVDBOEPXJUIUIFMBOHVBHFPGQSPQP
TJUJPOBMMPHJDCFZPOETJNQMFFYBNQMFTPGUSBOTMBUJPOTPGMPHJDBMGPSN
5IFSFTBMPUUIBUUIFMBOHVBHFPGQSPQPTJUJPOBMMPHJDJTHPPEGPS
EBUBCBTFT 0OF QMBDF GPS QSPQPTJUJPOBM MPHJD JT JO PVS JOUFSBDUJPOT
XJUIEJHJUBMEBUBCBTFT * (SFH
IBWFBNVTJDQMBZFSPONZDPNQVUFS
*UTBCJHSFQPTJUPSZPSEBUBCBTFPGUIFSFDPSEFENVTJD* PXO 4PNF
UJNFTTPNFUJNFT* VTFTNBSUQMBZMJTUTUPDIPPTFUSBDLTUPMJTUFOUP
5IF
Smart Playlists
TNBSUQMBZMJTUFEJUPSMPPLTTPNFUIJOHMJLFUIJT
Playlist

Match any of the following rules:


All
!

!
All
!

of the following are true:!


Artist is!

Keith Jarrett

Rating is !

of the following are true:!


Artist is not!

Keith Jarrett

Genre is

Jazz
Cancel

OK

5IJT QMBZMJTU TFMFDUT BMM PG UIF USBDLT XIJDI BSF FJUIFS 'JWF4UBS SBUFE
,FJUI +BSSFUU USBDLT PS PUIFS +B[[ USBDLT UIBU BSFOU CZ ,FJUI +BSSFUU
8FDBO GPSNBMJTF UIJTQMBZMJTUJOUIFGPMMPXJOHXBZ
$POTJEFSBMBOHVBHFXJUIUIFUIFTFBUPNT FBDIVOEFSTUPPEBTEF
TDSJCJOHBHJWFOUSBDL

$POGFTTJPO * IBWF B MPU PG ,FJUI +BSSFUU

LFJUI@KBSSFUU
GJWF@TUBST
KB[[
4P JGXFBSFDPOTJEFSJOHBUSBDL LFJUI@KBSSFUU JT USVF JGJUTB,FJUI+BSSFUU
USBDL BOEJUT GBMTF PUIFSXJTF *GJUTSBUFEGJWFTUBSUT UIFO GJWF@TUBST JT
USVF BOETPPO 5IFOUIFTNBSUQMBZMJTUDPMMFDUTBMMUIFUSBDLTPGXIJDI
UIJT GPSNVMBJTUSVF
(LFJUI@KBSSFUU  GJWF@TUBST) (LFJUI@KBSSFUU  KB[[)

5IF BOZ BOE BMM JO UIF QMBZMJTU FEJUPS EP UIF KPC PG EJTKVODUJPO BOE
DPOKVODUJPO SFTQFDUJWFMZ
5IJTJTBTJNQMFFYBNQMFPGMPHJDBMTUSVDUVSFGPVOEJOUIJOHTPUIFS
UIBOTFOUFODFTJOBOBUVSBMMBOHVBHF :PVMMTFFNBOZNPSFPGUIFTF
XIFOJUDPNFTUPEBUBCBTFT EJHJUBMDJSDVJUT NBQT BOEUIFNBOZPUIFS
QMBDFTXFTUPSFJOGPSNBUJPO
g MBOHVBHFPGQSPQPTJUJPOBMMPHJD

/PUJDF XFSF NPWJOH CFZPOE UIJOLJOH


PG QSPQPTJUJPOT BT KVTU USVF PS GBMTF
BOE UIJOLJOH PG UIFN BT USVF PS GBMTF
PG TPNFUIJOH 5IJT JT B UJOZ NPWF JO
UIF EJSFDUJPO PG QSFEJDBUF MPHJD 8FMM
GPDVT PO QSFEJDBUF MPHJD JO UIF TFDPOE
*Qm`b2` DPVSTF -PHJD -BOHVBHF BOE
*OGPSNBUJPO 



"OPUIFS TPVSDF PG BNCJHV


JUZ JT MFYJDBMUIF POF XPSE
DPVME NFBO EJGGFSFOU UIJOHT

TDPQFBNCJHVJUJFT 'PSNBMJTBUJPOPGTFOUFODFTJOOBUVSBMMBOHVBHFDBO
EPNVDINPSFUIBOKVTUIFMQVTGPDVTPOMPHJDBMTUSVDUVSF 8IFOZPV
GPSNBMJTF ZPVMMOPUJDFUIBUTPNFUJNFTUIJOHTBSFOPUFBTZBUBMM /BUV
SBMMBOHVBHFJT IJHIMZBNCJHVPVT 5IFPOFTFOUFODFDPVMENFBOEJGGFSFOU
UIJOHT 0OFTPVSDFPGBNCJHVJUZJTUIFJTTVFPG TDPQF XIFSFJUJTOPUDMFBS
IPXUIFQBSUTPGUIFTFOUFODFBSFNFBOUUPGJUUPHFUIFS 5IFMBOHVBHF
PGQSPQPTJUJPOBMMPHJDIBTOPTDPQFBNCJHVJUJUFTBUBMMJUJTQSFDJTFMZ
BOESJHPSPVTMZEFGJOFE 4PPOFPGUIFBEWBOUBHFTPGGPSNBMJTJOHTFO
UFODFTJOUIFMBOHVBHFPGQSPQPTJUJPOBMMPHJDJTUIBUTDPQFBNCJHVJUJFT
DBOCFJEFOUJGJFEBOEIPQFGVMMZ SFTPMWFE )FSFBSFTPNFFYBNQMFT
PGTFOUFODFTXJUITDPQFBNCJHVJUJFT
$MBODZRVJDLMZBUFBOEXFOUUPXPSL
%JE$MBODZFBURVJDLMZBOEUIFOMFJTVSFMZNBLFIJTXBZUP
XPSL PSEJEIFCPUIFBUBOEHPUPXPSLRVJDLMZ
.BEJTPO *MMIBWFGJTIBOEDIJQTPSTBMBE
%PFT+PIOXBOUGJTIXJUIFJUIFSDIJQTPSTBMBEPOUIFTJEF
f  (c s)
PSEPFT+PIOXBOUFJUIFSGJTIBOEDIJQT PS
JOTUFBE
TBMBE (f  c) s

5IFUSBJOTBSFPOTUSJLFUPEBZBOE* OFFEUPHFUUPHFUUPUIFPUIFS
TJEFPGUPXOCZBNVOMFTT*NNJTSFNFNCFSJOHUIJOHT
%PFT NZ GBVMUZ NFNPSZ QPJOU CBDL UP NZ NPSOJOH BQ
QPJOUNFOU s  (a m)
"N* TBZJOHUIBUUIFUSBJOTBSF
POTUSJLFUPEBZ BOEUIBUFJUIFS* IBWFBOBQQPJOUNFOUPS
*NNJTUBLFO 0SEPFTJUQPJOUCBDLUPCPUIDMBJNT (s 
a) m
"N* TBZJOHUIBUFJUIFS*NNJTUBLFO PSJG*NOPU
UIFSFTBTUSJLFBOE* IBWFNZBQQPJOUNFOUBDSPTTUPXO
4DPQFBNCJHVJUJFTBSFFBTJFSUPQJOQPJOUHJWFOUIFQSFDJTF BOEJOGMFY
JCMF
MBOHVBHFPGGPSNVMBT
GPSZPV 4FMFDUXIJDIPGUIFTFPQUJPOTBSFQPTTJCMFGPSNTPGUIF
TFOUFODF*GJUSBJOT*MMHFUXFUVOMFTT*NMVDLZ
 r (w l)

 r (w  l)
 (r w) l


 (r w)  l

BOTXFS 5IFDPSSFDUBOTXFSTBSF 
BOE 
 5IFPUIFSBOTXFST

BOE 
BSFJODPSSFDUCFDBVTFVOMFTT

5IJTMBTUFYBNQMFJTWFSZTVCUMF .BZCFZPVDBOUBDUVBMMZ IFBS UIF


EJGGFSFODFCFUXFFOUIFTFUXPDMBJNTXIFOZPVDPOTJEFSUIF&OHMJTI


MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

TFOUFODF 5SBOTMBUJOHJOUPUIFMBOHVBHFPGQSPQPTJUJPOBMMPHJDIFMQTVT
HFUBOHSJQPOUIFTDPQFEJTUJODUJPO

 ] NPEFMTGPSQSPQPTJUJPOBMMPHJD USVUI


UBCMFT
4PGBS XFIBWFEFWFMPQFEUIF TZOUBY PSTZNCPMTPGQSPQPTJUJPOBMMPHJD
CZEFGJOJOHBGPSNBMMBOHVBHFPGGPSNVMBT *OUIJTTFDUJPOXFIBWFUP
FYBNJOFUIF TFNBOUJDT PS NFBOJOH PGQSPQPTJUJPOBMMPHJDGPSNVMBTCZ
MPPLJOHBUIPXGPSNVMBTDBOCF USVF PS GBMTF PGGPSNVMBTEFQFOEJOHPO
XIFUIFSUIFJSDPNQPOFOUTBSF USVF PS GBMTF
8IZEPXFGPDVTPOUSVUIBOGBMTJUZ *UTCFDBVTFPGXIBUQSPQP
TJUJPOT BSF 5IFZSF UIF TPSUT PGUIJOHT UIBU BSF USVF PS GBMTF UIBU ZPV
DBOBHSFFXJUIPSEJTBHSFFXJUI QSPWFPSEJTQSPWFPSBSVFBCPVU FUD
5IFSFTNVDI NPSF UPUIFNFBOJOHPGTUBUFNFOUTUIBOUIFJSTUBUVTBT
USVFPSGBMTFCVUUIJTTUBUVTJTBOJNQPSUBOUQBSUPGNFBOJOH
4JODFXFSFHPJOHUPTFFUSVFBOEGBMTFBMPU XFXJMMVTFTZNCPMT
BTBTIPSUIBOE

8FXSJUF 1 GPSUSVFBOE 0 GPSGBMTF

QPTTJCMFUSVUIWBMVBUJPOT (JWFOUISFFBUPNJDQSPQPTJUJPOT p q BOE


r FBDIPGUIFNJTFJUIFSUSVFPSGBMTF TPUIFSFUIFSFBSF FJHIU QPTTJCMF
DPNCJOBUJPOTPGUSVUIWBMVFT 8IZ 'JSTU p JTFJUIFSUSVFPSGBMTF UIFSF
BSF 2 PQUJPOT BOEHJWFOFBDIPGUIFTFPQUJPOTGPS p XFIBWF 2 PQUJPOT
GPS q TPUIFSFBSF 2 2 = 4 PQUJPOTGPS p BOE q 5IFOGPSFBDIPGUIFTF
4 PQUJPOTGPS p BOE q UIFSFBSF 2 PQUJPOTGPS r TPUIFSFBSF 4 2 = 8
PQUJPOTGPS p BOE q BOE r UPHFUIFS 5IFSFBSF 8 EJGGFSFOUXBZTUIJOHT
NJHIUUVSOPVU XIFOJUDPNFTUPBOTXFSJOHUIFRVFTUJPOTPGXIFUIFS
PSOPU p XIFUIFSPSOPU q BOEXIFUIFSPSOPU r

5IJT JT DMBTTJDBM UXPWBMVFE MPHJD *O


UIF TFDUJPO PO 7BHVFOFTT $IBQUFS  PG
UIFTF OPUFT
XFMM MPPL BU TPNF SFBTPOT
XIZ XF NJHIU XBOU UP MPPL CFZPOE UXP
USVUI WBMVFT #VU QMFBTF TUJDL XJUI UIJT
BTTVNQUJPO GPS OPX

$BO ZPV TFF XIZ JU NBLFT TFOTF UP


XSJUF UIFTF 8 QPTTJCJMJUJFT BT 000 001
010 011 100 101 110 111 5IFZSF
UIF GJSTU  CJOBSZ OVNCFST GSPN 0 UP
7

8FDBMMFBDIPGUIFTFEJGGFSFOUDIPJDFTPG 0 BOE 1 GPSUIFBUPNJD


QSPQPTJUJPOTB USVUIWBMVBUJPO PSBO JOUFSQSFUBUJPO
" USVUI WBMVBUJPO BTTJHOT B WBMVF FJUIFS 0 PS 1
 UP FBDI BUPNJD
QSPQPTJUJPO
8FTPNFUJNFTXSJUFv(p) = 1PSv(q) = 0UPTBZUIBUUIFUSVUI
WBMVBUJPO v BTTJHOTUIFWBMVF 1 UP p PS 0 UP q

*OHFOFSBM HJWFO n EJGGFSFOUBUPNJDQSPQPTJUJPOT UIFUPUBMOVNCFS
PGEJGGFSFOUQPTTJCMFUSVUIWBMVBUJPOTJT 2 2 2 n UJNFT
XIJDI
JT 2n  5IFOVNCFS 2n HSPXT WFSZGBTUJOEFFE BT n HFUTMBSHFS
g NPEFMTGPSQSPQPTJUJPOBMMPHJD USVUIUBCMFT

5IFSF JT TPNF DPOGVTJPO DBVTFE CZ


UIF VTF PG OFBSMZ JEFOUJDBM QSFGJYFT GPS
CJOBSZ BOE NFUSJD OVNFSJDBM QSFGJYFT
GPS WFSZ TJNJMBS RVBOUJUJFT 4FF ?iiT,
ff2MXrBFBT2/BXQ`;frBFBf"BM`vn
T`27Bt

n
n

5IJT JT XIZ MPHJD DBO HFU USJDLZ 5IFSF


BSF MPUT PG QPTTJCJMJUJFT UP DPOTJEFS

20

30

40
9

32 1, 024 1, 048, 576 > 10

QSFGJY

5IBUT B 1 GPMMPXFE CZ 18 [FSPT


5IBUT B TFSJPVTMZ CJH OVNCFS

10

,JMP

.FHB

(JHB

50
12

> 10

5FSB

60
15

> 10

1FUB

> 1018

&YB

*GZPVIBWFBUPNJDQSPQPTJUJPOT UIFOUIFSFBSF 260 XIJDIJTNPSF


UIBO 1018 EJGGFSFOUUSVUIWBMVBUJPOTGPSUIPTFBUPNJDQSPQPTJUJPOT 5IFSF
BSFNPSFUIBO 1018 EJGGFSFOUXBZTUIFXPSMENJHIUIBWFUVSOFEPVU KVTU
UBLJOHUIFTF 60 QSPQPTJUJPOTJOUPBDDPVOU

 ] TFUUJOHVQUSVUIUBCMFT
" USVUIUBCMF JTBTZTUFNBUJDQSFTFOUBUJPOPGUIFEJGGFSFOUQPTTJCMFUSVUI
WBMVBUJPOT GPSBHJWFOTFUPGBUPNJDQSPQPTJUJPOT *GXFIBWFUIFBUPNT
p q BOE r XFNJHIUESBXBUBCMFMJLFUIJT

/PUJDF UIJT IBT POMZ 4 =


2 2 SPXT BT UIFSF BSF BSF
POMZ 2 BUPNJD QSPQPTJUJPOT

XJUIFJHIUSPXT POFGPSFBDIUSVUIWBMVBUJPOGPS p q BOE r 5IFOJO


FBDISPX XFDBOSFQSFTFOUUIFUSVUIWBMVFPGBGPSNVMBUIBUTCVJMUVQ
PVUPG p q BOE r 'PSFYBNQMF XFNJHIUIBWFBUBCMFMJLFUIJT GPSUIF
GPSNVMB (p q)
p q

(p q)

0
0
1
1

1
0
0
0

0
1
0
1

0
0
1
1

0
1
1
1

0
1
0
1

8FXSJUFUIFUSVUIWBMVFPGBDPNQMFYGPSNVMBVOEFSJUTNBJODPO
OFDUJWF 4PUIFUSVUIWBMVFPG pq UIFEJTKVODUJPOPG p BOE q JTXSJUUFO
VOEFSUIF 8FXSJUFEPXOB 1 JOBOZSPXXIFSF p PS q HPUUIFWBMVF
1 BOEUIBUTUIFTFDPOE UIJSEBOEGPVSUISPXT 5IFOUIFWBMVFPGUIF
GPSNVMB (p q) JTXSJUUFOVOEFSUIFOFHBUJPOTZNCPM BOEUIJTJTUSVF
JOUIFGJSTUSPX XIFSF p q XBTGBMTF
BOEJTGBMTFJOUIFPUIFSUISFF
SPXT XIFSF p q XBTUSVF

5IFSFTVMUJTBUSVUIUBCMFGPSUIFDPNQMFYGPSNVMB (p q) XIJDI
TBZTUIBUJUTUSVFJG p BOE q BSFCPUIGBMTF UIBUTUIFGJSTUSPX
BOEJUT
GBMTFPUIFSXJTF UIBUTUIFPUIFSUISFFSPXT



MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

5IFTFWBMVFTTFFNMJLFDPNNPOTFOTF *GZPVVOEFSTUBOEXIBUUIF
GPSNVMBTBZT JUTBZTOFJUIFS p OPS q
UIFOJOEFFE JUTUSVFJOFYBDUMZ
UIFSPXXIFSFOFJUIFS p OPS q JTUSVF
4PXIZHPUISPVHIUIFSJHNBSPMFPGUSVUIUBCMFTXIFOXFDBOTJN
QMZSFBEBOEJOUFSQSFUGPSNVMBT 0OFSFBTPOJTUIBUGPSNVMBTDBOCF
NVDINPSFDPNQMFYUIBOUIFTJNQMFGPSNVMB (p q)
p ((p  (q (r  p))) (r p))

8IFOJT UIJT GPSNVMBUSVF 8IFOJTJUGBMTF 8FXPVMEMJLFBTZTUFNBUJD


BOETUSBJHIUGPSXBSEXBZUPFYQMBJOIPXBDPNQMFYGPSNVMBEFQFOETGPS
JUTUSVUIWBMVFPOUIFUSVUIWBMVFTPGJUTQBSUT

 ] OFHBUJPO DPOKVODUJPOBOEEJTKVODUJPO


)FSFJTXIBUXFMMEP 'JSTUXFMMHFUDMFBSPOUIFSVMFTGPSUIFDPOOFD
UJWFT -FUTFYQMBJOIPXUIFUSVUIWBMVFPGBOFHBUJPO BDPOKVODUJPOPS
BEJTKVODUJPOEFQFOETPOUIFUSVUIWBMVFTPGJUTDPOTUJUVFOUT
*GBQSPQPTJUJPO A JTUSVF UIFOJUT OFHBUJPO A JTGBMTF 0OUIFPUIFS
IBOE JG A JTGBMTF UIFOJUT OFHBUJPO A JTUSVF
A

0
1

1
0


5IJTJTUIF USVUIUBCMF GPSUIFGPSNVMB A *UTIPXTIPXUIFUSVUIPS
GBMTJUZPG A EFQFOETPOUIFUSVUIPSGBMTJUZPG A
$POKVODUJPOT BSF USVF XIFO CPUI PG UIF DPOKVODUT BSF USVF "OE
UIFZSF GBMTF UIFSFTUPGUIFUJNF
A B
0
0
1
1

0
1
0
1

8F XSJUF B DBQJUBM MFUUFS A SBUIFS UIBO


UIF MPXFSDBTF p TJODF UIJT XPSLT GPS
FWFSZ GPSNVMB OPU KVTU BUPNJD GPSNV
MBT 5IF A IFSF JT B MFUUFS UIBU TUBOET
GPS BOZ GPSNVMB *G ZPV MJLF B UFDI
OJDBM UFSN GPS UIJT DBMM JU B TDIFNBUJD
GPSNVMB

(A  B)
0
0
0
1


5IBUJTDPOKVODUJPO BOEJUTTUSBJHIUGPSXBSE %JTKVODUJPOJTBMJUUMFCJU
MFTTTUSBJHIUGPSXBSE 3FNFNCFS XFMMJOUFSQSFU(AB)BTUIF JODMVTJWF
EJTKVODUJPOPG A BOE BFJUIFS A PS B PSCPUI

g NPEFMTGPSQSPQPTJUJPOBMMPHJD USVUIUBCMFT



%JTKVODUJPOT BSFUSVFXIFO BUMFBTUPOF PGUIFEJTKVODUTJTUSVF "OE


UIFZSF GBMTF UIFSFTUPGUIFUJNF
A B
0
0
1
1

0
1
0
1

(A B)
0
1
1
1


5IBUT OPU BMM PG UIF USVUI UBCMF SVMFT CVU MFUT QBVTF UP DIFDL IPX
ZPVSFHPJOH

GPSZPV 4VQQPTFXFEFGJOF (A B) BTOFJUIFS A OPS B $PN


QMFUFUIFUSVUIUBCMFGPSUIF DPOOFDUJWF
A B
0
0
1
1

(A B)

0
1
0
1


0
0
1
1

0
1
0
1

A B

1
0
0
0
(A B)

BOTXFS 5IJTJTUIFTBNFUSVUIUBCMFBTGPS (A B)


DPNCJOJOHDPOOFDUJWFT 8FDBOFWBMVBUFPOFPSNPSF DPNQMFYGPS
NVMBT JOBTJOHMFUBCMF TUBSUJOHGSPNJOOFSNPTUBUPNJDQSPQPTJUJPOT
BOEXPSLJOHPVUXBSET 'PSFYBNQMF UIFGPSNVMB (p  q)

TUBHF 8SJUFPVUUIFUBCMFXJUIFOPVHISPXTBODPMVNOTGPSUIF
GPSNVMB (p  q) BOEXSJUFUIFWBMVFTGPSFBDIBUPNJDQSPQPTJUJPO


MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

JOUIFBQQSPQSJBUFDPMVNOT
p
0
0
1
1

q
0
1
0
1

( p
0
0
1
1

 q)
0
1
0
1

TUBHF 5IFOQSPDFTTBOZWBMVFTUIBUDBOCFEFGJOFEJOUFSNTPGUIF
WBMVFTPGBUPNTJOPOFTUFQ *OUIJTDBTF JUTUIFWBMVFTPG p BOE q
p
0
0
1
1

q
0
1
0
1

(
1
1
0
0

p
0
0
1
1

 q)
1 0
0 1
1 0
0 1

TUBHF 5IFOXFDBOQSPDFTTUIFDPOKVODUJPOPGUIFUXPOFHBUJPOT
p
0
0
1
1

q
0
1
0
1

(
1
1
0
0

p
0
0
1
1


1
0
0
0

q)
1 0
0 1
1 0
0 1

TUBHF 'JOBMMZ XFDBOOFHBUFUIFSFTVMU UPHFUUIFDPNQMFUFEUBCMF


p
0
0
1
1

q
0
1
0
1

( p
0 1 0
1 1 0
1 0 1
1 0 1


1
0
0
0

q)
1 0
0 1
1 0
0 1

5IJTDPMVNOPG[FSPTBOEPOFTSFQSFTFOUTUIFUSVUIWBMVFPG (p  q)
JO FBDI PG UIF EJGGFSFOU SPXT PG UIF USVUI UBCMF &BDI DPMVNO SFQSF
TFOUTUIFEJGGFSFOUUSVUIWBMVFTPGBQSPQPTJUJPOXIJDIXFFODPVOUFS
POUIFXBZUPXBSECVJMEJOHVQJTGPSNVMB &BDI SPX SFQSFTFOUTBEJG
GFSFOU QPTTJCJMJUZ 5IFGJSTUSPXSFQSFTFOUTBQPTTJCJMJUZJOXIJDI p BOE
q BSFCPUIGBMTF 5IF[FSPBUUIFIFBEPGUIFDPMVNOXFIBWFIJHI
MJHIUFE JOUIFDPMVNOGPS (p  q)
TBZTUIJT JG p BOE q BSFCPUI
GBMTF UIFO (p  q) JTGBMTFUPP (JWFOUIBUUIFGPVSSPXTPGUIFUSVUI
UBCMFSFQSFTFOUUIFGPVSEJGGFSFOUQPTTJCJMJUJFTGPS p BOE q UIFOXFIBWF
DPNQSFIFOTJWFJOGPSNBUJPOBCPVUUIFUSVUIWBMVFPG (p  q) "
USVUIUBCMF MJLFUIJTTIPXTIPXUIFUSVUIWBMVFPG (p  q) EF
QFOETPOUIFUSVUIWBMVFTPG p BOEPG q
g NPEFMTGPSQSPQPTJUJPOBMMPHJD USVUIUBCMFT

" QPTTJCJMJUZ PS UIF QPTTJCJMJUZ *T UIFSF


NPSF UIBO POF QPTTJCJMJUZ JO XIJDI p
BOE q BSF CPUI GBMTF 5IBU EFQFOET PO
IPX ZPV DPVOU UIFN



*GZPVDPNQBSFUIJTDPMVNOXJUIUIFDPMVNOGPSUIFEJTKVODUJPO
p q ZPVMMOPUJDFTPNFUIJOHRVJUFTQFDJBM
p
0
0
1
1

q
0
1
0
1

( p
0 1 0
1 1 0
1 0 1
1 0 1


1
0
0
0

q)
1 0
0 1
1 0
0 1

(p q)
0
1
1
1

/PUJDFUIBUUIFTFUXPDPMVNOTBSF JEFOUJDBM 5IJTUFMMTVTTPNFUIJOH


WFSZTQFDJBMUIBUJOFBDIDJSDVNTUBODF (p  q) IBTUIFTBNFUSVUI
WBMVFBT p q 5IFSFJTOPDJSDVNTUBODFXIFSF (p  q) BOE p q
IBWFEJGGFSFOUUSVUIWBMVFT 5IFZBSF JOBOJNQPSUBOUTFOTFXFMMTFF
JOBOVQDPNJOHTFDUJPO UIFZBSF MPHJDBMMZFRVJWBMFOU

 ] UIFNBUFSJBMDPOEJUJPOBMCJDPOEJUJPOBM
5IFDPOEJUJPOBMJTBNPSFDPNQMFYDPOOFDUJWFUIBOUIFDPOOFDUJWFT
XFWFBMSFBEZTFFO 8IFOJTJUUSVFUPTBZJG* DBUDIUIFUSBNCFGPSF
BN *MMHFUUPNZPGGJDFPOUJNF %PFTUIFUSVUIWBMVFPGUIJT
EFQFOEPOMZPOUIFUSVUIWBMVFPG* DBUDIUIFUSBNCFGPSFBN
BOE*MMHFUUPNZPGGJDFPOUJNF .BZCFOPU #VUUIFSFJTRVJUFBMPU
PGHPPEXPSLZPVDBOEPXJUIDPOEJUJPOBMTXIFOZPVVTFBTJNQMFGBDU
BCPVUDPOEJUJPOBMTBTUIFGPDVTPGIPXZPVJOUFSQSFUUIFN
*G A UIFO B JT GBMTF XIFO A JTUSVFBOE B JTGBMTF

5IF DJSDVNTUBODF XIFSF * HFU UIF USBN


CVU BN MBUF JT B DPVOUFSFYBNQMF UP UIF
DPOEJUJPOBM *O HFOFSBM B USVUI WBMVB
UJPO v XIFSF v(A) = 1 BOE v(B) = 0 JT
B DPVOUFSFYBNQMF UP UIF DPOEJUJPOBM
A B " NBUFSJBM DPOEJUJPOBM JT
USVF BDDPSEJOH UP USVUI WBMVBUJPO v
JG v JT OPU B DPVOUFSFYBNQMF UP JU

8FDBOBSHVFBSPVOEJODJSDMFTBCPVUXIFOJG* DBUDIUIFUSBNCFGPSF
BN *MMHFUUPNZPGGJDFPOUJNFJTUSVFPSGBMTF #VUXFDBO BMM
BHSFFUIBUJOBDJSDVNTUBODFXIFSF* EP DBUDIUIFUSBNCFGPSFBN
BOE* EPOU HFUUPNZPGGJDFPOUJNF UIFDPOEJUJPOBMJT GBMTF 5IF NBUFSJBM
DPOEJUJPOBM A B UBLFTUIJTUPCFUIFUSVUIUBCMFPGUIFTUBUFNFOUJG A
UIFO B
5IF NBUFSJBMDPOEJUJPOBM A B JT GBMTF XIFO A JTUSVFBOE B JTGBMTF
BOEJUJT USVF PUIFSXJTF
A B
0
0
1
1

0
1
0
1

(A B)
1
1
0
1


*OPUIFSXPSET A B BTTFSUTUIBUUIFSFJTBLJOEPG USVUIUSBOTGFS EJ
SFDUFEGSPN A UP B *G A B JTUSVF XFBSFJOSPXT 1 2 PS 4 PGUIF
UBCMF OPUSPX 3
UIFOJG A JTUSVFUPP TPSPX 4 OPU 1 PS 2
XFUIFO
LOPXUIBU B JTUSVFUPP 5SVUIPG A B JTFOPVHIGPSUIFUSVUIPG A
UPUSBOTGFSUPUIFUSVUIPG B


MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

/PUJDFUIBUUIFUIFDPOEJUJPOBM (A B) IBTUIFTBNFUSVUIUBCMFBT
(A  B)
0
0
1
1

(A  B)

(A B)

A B
0
1
0
1

1
1
0
1

1
1
0
1

0
0
1
1

0
0
1
0

1
0
1
0

0
1
0
1

5IFNBUFSJBMDPOEJUJPOBM A B JTUSVFJOBMMDBTFT FYDFQUGPSXIFO A


JTUSVFBOE B GBMTF 5IF NBUFSJBMDPOEJUJPOBM JTUIF USVUIGVODUJPOBMDPSF PG
UIFJNQMJFTPSJGUIFO DPOOFDUJWFJO&OHMJTI XJUIUIFUSVUI
PGUIFDPOEJUJPOBMFYQSFTTFEQVSFMZJOUFSNTPGUIFUSVUIPSGBMTJUZPG
BOUFDFEFOUBOEDPOTFRVFOU
)FSFJTBOFYBNQMFPGUIFEJTUJODUJWFCFIBWJPVSPGUIFNBUFSJBMDPO
EJUJPOBM UIFGPSNVMB p (q p) JTBMXBZTUSVF
p q
0
0
1
1

0
1
0
1

p (q p)
0
0
1
1

1
1
1
1

0
1
0
1

1
0
1
1

0
0
1
1

-FU p CF * BN B QFOHVJO BOE MFU q CF &MWJT JT EFBE %PFT UIF
TUBUFNFOU p (q p) *G*NBQFOHVJO UIFOJG&MWJTJTEFBE *NB
QFOHVJO
TUSLFZPVBTUSVF
GPSZPV $PNQBSFUIFGPSNVMBT (p q) BOE (p q) CZDPN
QMFUJOHUIFJSUSVUIUBCMFT
p q
0
0
1
1

0
1
0
1

(p q)

*O OBUVSBM MBOHVBHF VTBHF XF UFOE UP


BTTFSU A JNQMJFT B PS JG A UIFO B
XIFO XF NFBO UIFSF JT TPNF LJOE DPO
UFOU DPOOFDUJPO MFBEJOH GSPN A UP B JO
BEEJUJPO UP B USVUIUSBOTGFS DPOOFDUJPO
GSPN A UP B

*G UIBU TUSJLFT ZPV BT USVF XIBU BCPVU


UIJT p JT JUT 5VFTEBZ BOE q JT JUT
UIF XFFLFOE *T *G JUT 5VFTEBZ UIFO
JG JUT UIF XFFLFOE JUT 5VFTEBZ USVF

(p q)




8IFO p JTGBMTF (p q) JTUSVFXIJMF (p q) JTGBMTF CVUXIFO


p JTUSVF (p q) BOE (p q) IBWFTBNFUSVUIWBMVF
0
0
1
1

0
1
0
1

p q

0
0
1
1

1
1
1
0

1
0
1
0

0
1
0
1

(p q)

0
0
1
0

0
0
1
1

1
1
0
1

0
1
0
1

(p q)

BOTXFS (p q) BOE (p q) IBWFEJGGFSFOUUSVUIUBCMFT


g NPEFMTGPSQSPQPTJUJPOBMMPHJD USVUIUBCMFT



5IJT JT BO JNQPSUBOU MFTTPO UP MFBSO UIF TDPQF EJTUJODUJPO CFUXFFO
(p q) BOE (p q) NBLFTBEJGGFSFODFJOUIFJSUSVUIWBMVFT /BUVSBM
MBOHVBHFTEPOUBMXBZTNBLFJUFBTZGPSVTUPEJTUJOHVJTICFUXFFOUIFTF
UXPTUBUFNFOUT 8FDPVMEFYQSFTT (p q) JO&OHMJTIBT/FWFS q JG
pXIJMF (p q) DPVMECFFYQSFTTFEBT/PU q JG pPSNPSFDMFBSMZ
BTp POMZJGOPU q

UIFCJDPOEJUJPOBM
PGUIFCJDPOEJUJPOBM

8FMMSPVOEUIJTTFDUJPOPGGXJUIUIFTFNBOUJDT

" CJDPOEJUJPOBM GPSNVMB (A B) JTUSVFQSFDJTFMZXIFO A BOE B


IBWFFYBDUMZUIFTBNFUSVUIWBMVF (A B) JTGBMTFQSFDJTFMZXIFO
A BOE B IBWFEJGGFSFOUUSVUIWBMVFT
(A B)

A B
0
0
1
1

0
1
0
1

1
0
0
1


5IFCJDPOEJUJPOBMJGBOEPOMZJGJTJOEFFEGPSNFECZDPOKPJOJOHBO
JGXJUIBOPOMZJGBTZPVMMTFFXJUIUIJTFYFSDJTF
GPSZPV -FU A BOE B CFBOZGPSNVMBT $PNQBSF (A B) XJUI
((A B)  (B A)) CZDPNQMFUJOHUIJTUSVUIUBCMF
(A B)

A B
0
0
1
1

0
1
0
1

((A B)  (B A))




3FTVMU (A B) IBTUIFTBNFUSVUIUBCMFBT ((A B)  (B A))


5IFGPSNVMB (A B) ((A B)  (B A)) JT BMXBZTUSVF
0
0
1
1

0
1
0
1

A B

0
0
1
1

1
0
0
1

0
1
0
1

(A B)

0
0
1
1

1
1
0
1

0
1
0
1

1
0
0
1

0
1
0
1

1
0
1
1

0
0
1
1

((A B)  (B A))

BOTXFS


MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

5IFCJDPOEJUJPOBMDPOOFDUJWFBMMPXTVTUPFYQSFTT FRVBMJUZPGUSVUI
WBMVFT TJODF (A B) JTUSVFFYBDUMZXIFO A BOE B IBWFFRVBMUSVUI
WBMVFTPOFWFSZSPXPGUIFUSVUIUBCMF /FHBUJOHBCJDPOEJUJPOBMUIFO
HJWFTVTBNFBOTUPFYQSFTT JOFRVBMJUZ PS PQQPTJUFOFTT PGUSVUIWBMVFT
5IF GPMMPXJOHXPSLFEUSVUIUBCMFFYBNQMFTIPXTUIBUUIFOFHBUFE
CJDPOEJUJPOBM (A B) JOGBDUNFBOTUIFTBNFBTUIFCJDPOEJUJPOBM
(A B) PG A XJUIUIFOFHBUJPOPG B /PUJDFUIJTJTJODPOUSBTUXJUI
UIF TJUVBUJPO GPS UIF POFEJSFDUJPOBM DPOEJUJPOBM XIFSF BT XF IBWF
TFFO (A B) EPFT OPU NFBOUIFTBNFBT (A B)

'PS UIPTF UIBU DIPPTF UIF $PNCJOB


UJPOBM %JHJUBM 4ZTUFNT BQQMJDBUJPO BSFB
JO $IBQUFS  ZPV XJMM TFF UIF OFHBUFE
CJDPOEJUJPOBM BHBJO BT UIF FYDMVTJWF03
DPOOFDUJWF JO g XIFSF (A903B)
JT USVF JG BOE POMZ JG FYBDUMZ POF PG A
BOE B BSF USVF

-FU A BOE B CFBOZGPSNVMBT 5IFOUIFGPSNVMB


(A B) (A B)

JTBMXBZTUSVF
A B
0
0
1
1

0
1
0
1

(A B)
0
1
1
0

0
0
1
1

1
0
0
1

0
1
0
1

(A
1
1
1
1

0
0
1
1

B)
0
1
1
0

1
0
1
0

0
1
0
1



 ] QSPQPTJUJPOBMDPODFQUTB
0ODFXFIBWFBXBZPGFYQMBJOJOHIPXUIFUSVUIWBMVFPGBDPNQMFY
QSPQPTJUJPOEFQFOETPOUIFUSVUIWBMVFTPGJUTDPOTUJUVFOUT UIFXBZJT
PQFOGPSVTUPHBJOBCFUUFSVOEFSTUBOEJOHPGQSPQPTJUJPOTBOEUIF
SFMBUJPOTIJQT CFUXFFO UIFN *O UIJT TFDUJPO XFMM MPPL BU UXP TQF
DJBMDMBTTFTPGQSPQPTJUJPOT UIF UBVUPMPHJFT BOEUIF DPOUSBEJDUJPOT BOXFMM
BMTPMPPLBUXIBUUSVUIUBCMFTDBOUFMMVTBCPVUSFMBUJPOTIJQTCFUXFFO
QSPQPTJUJPOT 8FXJMMTUBSUCZDMBTTJGZJOHQSPQPTJUJPOTJOUPUBVUPMPHJFT
DPOUSBEJDUJPOTBOEUIFSFTU

 ] DMBTTJGZJOHQSPQPTJUJPOT
" QSPQPTJUJPOBMMPHJDGPSNVMB A JTB UBVUPMPHZ FYBDUMZXIFO A FWBM
VBUFTUP 1 POFWFSZUSVUIWBMVBUJPO FWFSZSPXPGJUTUSVUIUBCMF


*GXFUIJOLPGBQSPQPTJUJPOBTESBXJOHB EJTUJODUJPO CFUXFFOUIPTFDJS
DVNTUBODFTXIFSFJUJTUSVF BOUIPTFXIFSFJUJTGBMTF UIFOBUBVUPMPHZ
JTBOFYUSFNFDBTF XIFSF FWFSZUIJOH DPVOUTBTUSVF
g QSPQPTJUJPOBMDPODFQUTB

"NPOH UIF QPTTJCMF HSPVQT PG USVUI


DPOEJUJPOT UIFSF BSF UXP FYUSFNF DBTFT
*O POF PG UIFTF DBTFT UIF QSPQPTJUJPO JT
USVF GPS BMM UIF USVUIQPTTJCJMJUJFT PG UIF
FMFNFOUBSZ QSPQPTJUJPOT 8F TBZ UIBU
UIF USVUIDPOEJUJPOT BSF UBVUPMPHJDBM
*O UIF TFDPOE DBTF UIF QSPQPTJUJPO JT
GBMTF GPS BMM UIF USVUIQPTTJCJMJUJFT UIF
USVUIDPOEJUJPOT BSF DPOUSBEJDUPSZ *O
UIF GJSTU DBTF XF DBMM UIF QSPQPTJUJPO B
UBVUPMPHZ JO UIF TFDPOE B DPOUSBEJD
UJPO 1SPQPTJUJPOT TIPX XIBU UIFZ TBZ
UBVUPMPHJFT BOE DPOUSBEJDUJPOT TIPX
UIBU UIFZ TBZ OPUIJOH " UBVUPMPHZ IBT
OP USVUIDPOEJUJPOT TJODF JU JT VODPO
EJUJPOBMMZ USVF BOE B DPOUSBEJDUJPO
JT USVF PO OP DPOEJUJPO 5BVUPMPHJFT
BOE DPOUSBEJDUJPOT MBDL TFOTF 5BV
UPMPHJFT BOE DPOUSBEJDUJPOT BSF OPU
IPXFWFS OPOTFOTJDBM 5IFZ BSF QBSU PG
UIF TZNCPMJTN NVDI BT  JT QBSU
PG UIF TZNCPMJTN PG BSJUINFUJD
-VEXJH 8JUUHFOTUFJO 5SBDUBUVT -PHJDP
1IJMPTPQIJDVT g



FYBNQMF p p BOE ((p q)  q) p BSF UBVUPMPHJFT


p q
p

(p p)

0
1

0
1

1
1

1
0

0
1

0
0
1
1

0
1
0
1

((p q)  q)
0
0
1
1

1
1
0
1

0
1
0
1

1
0
0
0

1
0
1
0

0
1
0
1

1
1
1
1

1
1
0
0

0
0
1
1

GPSZPV 4IPXUIBU (p q) (p  q) BOE (p q) (q


p) BSFUBVUPMPHJFT

8FIBWFQSPWJEFEBMJTUPGVTFGVMUBVUPMPHJFTBUUIFFOEPGUIJTDIBQUFS
" UBVUPMPHZJTBMXBZTUSVF " DPOUSBEJDUJPO JTBMXBZT GBMTF

" QSPQPTJUJPOBMMPHJDGPSNVMB A JTB DPOUSBEJDUJPO FYBDUMZXIFO A


FWBMVBUFTUP 0 POFWFSZUSVUIWBMVBUJPO FWFSZSPXPGJUTUSVUIUBCMF



FYBNQMF p  p BOE (p q)  (p  q) BSF DPOUSBEJDUJPOT


p q
p

(p  p)

0
1

0
1

0
0

1
0

0
1

0
0
1
1

0
1
0
1

(p q)  (p  q)
0
0
1
1

1
1
0
1

0
1
0
1

0
0
0
0

0
0
1
1

0
0
1
0

1
0
1
0

0
1
0
1


4PNFGPSNVMBTBSFBMXBZTUSVF 0UIFSTBSFBMXBZTGBMTF #VUUIBUMFBWFT
BMPUPGQSPQPTJUJPOTJOCFUXFFO 'JSTUPGBMM BTUBUFNFOUUIBUJTOUB
DPOUSBEJDUJPOJTBUMFBTU TPNFUJNFT USVF 8FDBMMUIBUTPSUPGTUBUFNFOU
TBUJTGJBCMF

" QSPQPTJUJPOBMMPHJDGPSNVMB A JT TBUJTGJBCMF FYBDUMZXIFO A FWBMV


BUFTUP 1 POBUMFBTUPOFUSVUIWBMVBUJPO

" QSPQPTJUJPOBMMPHJDGPSNVMB A JT DPOUJOHFOU FYBDUMZXIFO A JTTBU


JTGJBCMFCVUOPUBUBVUPMPHZ " DPOUJOHFOUGPSNVMBJTUSVFJOBUMFBTU



MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

POFWBMVBUJPOBOEGBMTFJOBUMFBTUPOFWBMVBUJPO

FYBNQMF p BOE (p  q)  (r  s) BSFFYBNQMFTPGDPOUJOHFOU


GPSNVMBT

)FSFBSFTPNFGBDUTDPOOFDUJOHUBVUPMPHJFTBOEDPOUSBEJDUJPOT
A JTB UBVUPMPHZ
A JT TBUJTGJBCMF

JGBOEPOMZJG
JGBOEPOMZJG
JGBOEPOMZJG
JGBOEPOMZJG

A JT OPUTBUJTGJBCMF
A JTB DPOUSBEJDUJPO
A JT OPUBDPOUSBEJDUJPO
A JT OPUBUBVUPMPHZ

GPSZPV *T p (p q) BUBVUPMPHZ BDPOUSBEJDUJPOPSDPOUJO


HFOU


0
0
1
1

0
1
0
1

p q

0
0
1
1

1
1
1
1

1
1
0
0

0
0
1
1

0
1
1
1

0
1
0
1

p ( p q)

BOTXFS p (p q) JTBUBVUPMPHZ

 ] JOUFSMVEFPOUIFIJTUPSZPGQSPQPTJUJPOBMMPHJD
.BOZQFPQMFIBWFCFFOJOWPMWFEJOUIFEFWFMPQNFOUPGNPEFSOQSPQP
TJUJPOBMMPHJDPWFSUIFMBTUPSTPZFBST )FSFBSFBKVTUUISFFPGUIF
TJHOJGJDBOUGJHVSFTJOUIFFBSMZIJTUPSZPGQSPQPTJUJPOBMMPHJD
(FPSHF#PPMF 
 TZNCPMJDNFUIPETPGBMHFCSB
BQQMJFEUPMPHJD  5IF.BUIFNBUJDBM"OBMZTJTPG-PHJD
 "O*OWFTUJHBUJPOPGUIF-BXTPG5IPVHIU
JNBHF DSFEJU
(FPSHF #PPMF JO DPMPS CZ "VUIPS
6OLOPXO D 
 <1VCMJD EPNBJO> WJB 8JLJNFEJB
$PNNPOT ?iiT,ff2MXrBFBT2/BXQ`;frBFBf:2Q`;2n
"QQH2

'SPN#PPMF XFHFUUIFOBNF#PPMFBOMPHJDGPSDMBT
TJDBMUXPWBMVFEQSPQPTJUJPOBMMPHJD *O#PPMFT.BUIFNBUJDBM"OBMZTJT
PG-PHJD IFBQQMJFENBUIFNBUJDBMUFDIOJRVFTUPSFQSFTFOUMPHJDBMSFMB
UJPOT

g QSPQPTJUJPOBMDPODFQUTB



"VHVTUVT%F.PSHBO 
 BMHFCSBPGMPHJD BOE
PSEVBMJUZ %F.PSHBOT-BXTBSFUIFFRVJWBMFODFPG
(A B) BOE A  B BOEPG (A  B) BOE A B
JNBHFDSFEJU "VHVTUVT%F.PSHBO UIFNBUIFNBUJDJBO
CZ4PQIJB&MJ[BCFUI%F.PSHBO 
 .FNPJSPG"V
HVTUVT%F.PSHBO
<1VCMJDEPNBJO> WJB 8JLJNFEJB$PN
NPOT ?iiT,ff2MXrBFBT2/BXQ`;frBFBfm;mbimbn
.2nJQ`;M

$IBSMFT4BOEFST1FJSDF 
 USVUIUBCMFT BMHFCSB
PGMPHJD OPUPSOPS 1FJSDFBSSPX

JNBHF DSFEJU $IBSMFT 4BOEFST 1FJSDF CZ "VUIPS 6O
LOPXO D
<1VCMJDEPNBJO> WJB 8JLJNFEJB$PN
NPOT
?iiT,ff2MXrBFBT2/BXQ`;frBFBf*?`H2bn
aM/2`bnS2B`+2

5IFSF BSF NBOZ PUIFS QFPQMF TJHOJGJDBOU JO UIF EFWFM


PQNFOUPGQSPQPTJUJPOBMMPHJD JODMVEJOH(PUUMPC'SFHF
#FSUSBOE3VTTFMMBOE-VEXJH8JUUHFOTUFJO BOEMPHJDIBTEFWFMPQFE
CFZPOEQIJMPTPQIZBOENBUIFNBUJDTUPPUIFSEPNBJOTTVDIBTMJOHVJT
UJDT FOHJOFFSJOHBOEDPNQVUFSTDJFODF BTXFMMTFFMBUFSJOUIFDPVSTF

 ] SFMBUJPOTIJQTCFUXFFOQSPQPTJUJPOT
'PSNBOZBQQMJDBUJPOTPGMPHJD XFXBOUUPLOPXBCPVUUIFSFMBUJPO
TIJQT CFUXFFO QSPQPTJUJPOT
"SHVNFOUTGSPNQSFNJTFTUPDPODMVTJPO
-JOHVJTUJDBOBMZTJT
%JHJUBMFMFDUSPOJDDJSDVJUT
8FTUBSUIFSFXJUISFMBUJPOTIJQTCFUXFFOTJOHMFQSPQPTJUJPOT 5IFDPSF
SFMBUJPOTIJQJOMPHJDJTUIFSFMBUJPOTIJQPG MPHJDBMDPOTFRVFODF 5IFLFZ
JEFBJTUIBUPOFGPSNVMBIBTBOPUIFSBTBMPHJDBMDPOTFRVFODFJGXIFO
FWFSUIFGJSTUJTUSVF TPJTUIFTFDPOE 5IFSFTOPXBZGPSUIFGJSTUUPCF
USVFXIFOUIFTFDPOEJTGBMTF
'PSNVMB B JTB MPHJDBMDPOTFRVFODF PGGPSNVMB A FYBDUMZXIFO
GPSBMMUSVUIWBMVBUJPOTJOXIJDI A JTUSVF B JTBMTPUSVF
8FXJMMXSJUFUIJTBT A |= B

5IJTDBOBMTPCFSFBEBT A MPHJDBMMZFOUBJMT B PS A MPHJDBMMZJNQMJFT B
*USFRVJSFTB USVUIUSBOTGFSSJOH EJSFDUFEDPOOFDUJPOGSPN A UP B


MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

A MPHJDBMMZFOUBJMT B NFBOTUIBUGPSFWFSZSPXJOBUSVUIUBCMFJOXIJDI
A HFUTUIFWBMVF 1 B NVTUBMTPHFUUIFWBMVF 1 POUIBUSPX

FYBNQMF p  q |= p q
p q

p  q p q

0
0
1
1

0
0
1
1

0
1
0
1

0
0
1
0

1
0
1
0

0
1
0
1

1
1
0
0

0
0
1
1

1
0
1
1

1
0
1
0

0
1
0
1

5IFSFJTPOMZPOFSPXXIFSF (p  q) JTUSVF UIFUIJSESPX


BOE
JOUIBUSPX (p q) JTUSVFUPP 4P p  q FOUBJMT p q


'PSNVMB A JTB MPHJDBMMZFRVJWBMFOU UPGPSNVMB B FYBDUMZXIFO


GPSBMMUSVUIWBMVBUJPOTJO A BOE B IBWFUIFTBNFWBMVFT
8FXJMMXSJUFUIJTBT A =||= B

8FWFTFFOMPUTPGMPHJDBMFRVJWBMFODFTBMSFBEZ )FSFBSFTPNF
A B =||= (A  B)
A  B =||= (A B)
A B =||= (A  B)
A B =||= A B

)FSFJTBOFYBNQMFFRVJWBMFODF
FYBNQMF p  q |= p q

p q

p  q ( p q)

0
0
1
1

0
0
1
1

0
1
0
1

0
0
1
0

1
0
1
0

0
1
0
1

0
0
1
0

1
1
0
0

0
0
1
1

1
1
0
1

0
1
0
1

5IFUXPGPSNVMBTIBWFUIFTBNFWBMVFTJOFBDISPX USVFJOSPX 3
BOEGBMTFJOBMMPUIFST

'PMMPXJOH EJSFDU GSPN UIF EFGJOJUJPOT IFSF BSF TPNF FRVJWBMFOU


DIBSBDUFSJTBUJPOTPGMPHJDBMDPOTFRVFODF MPHJDBMFRVJWBMFODF BOECFJOH
BUBVUPMPHZ
A =||= B JGBOEPOMZJG A |= B BOE B |= A
g QSPQPTJUJPOBMDPODFQUTB



A |= B JGBOEPOMZJG (A B) JTBUBVUPMPHZ

A =||= B JGBOEPOMZJG (A B) JTBUBVUPMPHZ


GPSZPV 4VQQPTF A BOE B BSFQSPQPTJUJPOBMGPSNVMBTDPOUBJOJOH
BUPNT p q BOE r BOEUIFJSUSVUIUBCMFTMPPLMJLFUIJT
q

8IJDIPGUIFTFDPSSFDUMZEFTDSJCFUIFMPHJDBMSFMBUJPOTIJQCFUXFFO
GPSNVMBT A BOE B
B
A =||= B
C
A |= B CVU B |= A
D
B |= A CVU A |= B E
/POFPGUIFBCPWF


BOTXFS 0QUJPO D
 B |= A CVU A |= B "MMPGUIFSPXTXIFSF
B JTUSVFBSFSPXTXIFSF A JTUSVFUPP TP B |= A 0OUIFPUIFS
IBOE UIFSFJTBSPX UIFTFDPOESPX XIFSF i(p) = 0 i(q) = 0 BOE
i(r) = 1
XIFSF A JTUSVFBOE B JTOU TP A |= B

"UUIFPUIFSFYUSFNF UIFPQQPTJUFSFMBUJPOTIJQUPMPHJDBMFRVJWB
MFODFJTUIBUPGCFJOH DPOUSBEJDUPSJFT
'PSNVMBT A BOE B BSF DPOUSBEJDUPSJFT FYBDUMZ XIFO GPS BMM USVUI
WBMVBUJPOT A BOE B IBWF PQQPTJUF USVUIWBMVFT

4P A BOE B CFJOHDPOUSBEJDUPSJFTNFBOTUIBU B JTCFGBMTFXIFOFWFS A
JTUSVF BOE B JTUSVFXIFOFWFS A JTGBMTF
'PSBOZQSPQPTJUJPOBMGPSNVMBT A B
JGBOEPOMZJG
JGBOEPOMZJG

A BOE B BSF DPOUSBEJDUPSJFT


A =||= B
(A B) JTB UBVUPMPHZ

)FSFBSFTPNFGVSUIFSMPHJDBMSFMBUJPOTXPSUILOPXJOH UIBUEBUFCBDL
UP"SJTUPUFMJBOBOENFEJFWBMMPHJD


MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

'PSNVMBT A BOE B BSF DPOUSBSJFT XIFOUIFZDBOOPUCPUICFUSVF



4P A BOE B CFJOHDPOUSBSJFTNFBOTUIBU B JTGBMTFXIFOFWFS A JTUSVF
BOE A JTGBMTFXIFOFWFS B JTUSVF
'PSNVMBT A BOE B BSF TVCDPOUSBSJFT XIFOUIFZDBOOPUCPUICFGBMTF

*ODPOUSBTU A BOE B CFJOHTVCDPOUSBSJFTNFBOTUIBU B JTUSVFXIFOFWFS
A JTGBMTF BOE A JTUSVFXIFOFWFS B JTGBMTF
5IFSFMBUJPOTIJQTPGCFJOHDPOUSBSJFTBOETVCDPOUSBSJFTIBWFUIF
GPMMPXJOHFRVJWBMFOUDIBSBDUFSJTBUJPOT 'PSBOZGPSNVMBT A B
JGBOEPOMZJG
JGBOEPOMZJG
JGBOEPOMZJG
JGBOEPOMZJG

A BOE B BSF DPOUSBSJFT


A |= B
(A B) JTB UBVUPMPHZ
(A  B) JTB DPOUSBEJDUJPO
(A  B) JTB UBVUPMPHZ

JGBOEPOMZJG
JGBOEPOMZJG
JGBOEPOMZJG

A BOE B BSF TVCDPOUSBSJFT


A |= B
(A B) JTB UBVUPMPHZ
(A B) JTB UBVUPMPHZ

g QSPQPTJUJPOBMDPODFQUTB



TPNFUBVUPMPHJFT
5IJTMJTUJTCZOPNFBOTFYIBVTUJWF ZPVBSFFODPVSBHFEUPBEEUPUIF
MJTUBTZPVEJTDPWFSOFXPOFT :PVEPOPUIBWFUPNFNPSJTFUIFMJTU
CVUUPEFWFMPQZPVSMPHJDJOUVJUJPOT JUXJMMCFVTFGVMUPSFBEUISPVHI
BOEOPUJDFUIFQBUUFSOTJOJU
-FU A B BOE C CF GPSNVMBT PG B QSPQPTJUJPOBM MPHJD MBOHVBHF 5IF
GPMMPXJOHBSFUBVUPMPHJFTPGQSPQPTJUJPOBMMPHJD
%PVCMFOFHBUJPOFMJN
&YDMVEFENJEEMF
"TTPDJBUJWJUZPG 
"TTPDJBUJWJUZPG 
$PNNVUBUJWJUZPG 
$PNNVUBUJWJUZPG 
%JTUSJCVUJPOPG  PWFS 
%JTUSJCVUJPOPG PWFS 
%F.PSHBOTGPS PG  UP 
%F.PSHBOTGPS PG UP 
%F.PSHBOTGPS PG  UP 
%F.PSHBOTGPS PG UP 
.BUFSJBMJNQMJDBUJPO
/FHBUFEDPOEJUJPOBM
$POEJUJPOBMTGPS 
$POEJUJPOBMTGPS 
8FBLFOJOH
%JTUSJCVUJPO
$POUSBQPTJUJPO
$POUSBQPTJUJPO
1JFSDFT-BX
.PEVTQPOFOT DPOEJUJPOBM
$VSSZT'PSNVMB
&YDMVEJOHEJTKVODUT

A A
(A A)

BOE

(A  A)

((A  B)  C) (A  (B  C))
((A B) C) (A (B C))
(A  B) (B  A)
(A B) (B A)

(A  (B C)) ((A  B) (A  C))


(A (B  C)) ((A B)  (A C))
(A  B) (A B)
(A B) (A  B)
(A  B) (A B)
(A B) (A  B)
(A B) (A B)

(A B) (A  B)

(A  B) A BOE (A  B) B
A (A B) BOE B (A B)
A (B A)

(A (B C)) ((A B) (A C))


(A B) (B A)
(A B) (B A)
((A B) A) A
(A  (A B)) B

((A  B) C) (A (B C))
((A B)  A) B

((A B)  B) A

6TJOHPOMZUIFJOGFSFODFSVMFPG .PEVT1POFOT GSPN A BOE (A B) DPO


DMVEF B POFDBOHJWFBNJOJNBMBYJPNBUJTBUJPOPGDMBTTJDBMQSPQPTJUJPOBMMPHJD
CZUBLJOHBTBYJPNTKVTUUIFUISFF 8FBLFOJOH %JTUSJCVUJPO BOE $POUSBQP
TJUJPO 5IJT BYJPNBUJTBUJPO XBT GJSTU EJTDPWFSFE CZ UIF 1PMJTI MPHJDJBO +BO
VLBTJFXJD[JOUIFT



MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

kESBGUPGNBSDI y

CMBOLUSVUIUBCMFT
)FSFBSFTPNFCMBOLUSVUIUBCMFTUPQSJOUPVUBOEVTFGPSZPVSPXOXPSL GPS
UISFF GPVSBOEGJWFBUPNJDQSPQPTJUJPOT

g QSPQPTJUJPOBMDPODFQUTB





MBOHVBHFBOENPEFMTPGQSPQPTJUJPOBMMPHJD DIBQUFS

[NBSDI ]

SFGFSFODFT
[] BMBO S BOEFSTPO BOE OVFM E CFMOBQ &OUBJMNFOU 5IF -PHJD PG 3FM
FWBODF BOE /FDFTTJUZ WPMVNF  1SJODFUPO6OJWFSTJUZ1SFTT 1SJODFUPO
 <$JUFE PO QBHF >
[] BMBO SPTT BOEFSTPO OVFM E CFMOBQ BOE K NJDIBFM EVOO &OUBJM
NFOU 5IF -PHJD PG 3FMFWBODF BOE /FDFTTJUZ WPMVNF  1SJODFUPO6OJWFS
TJUZ1SFTT 1SJODFUPO  <$JUFE PO QBHF >
[] JSWJOH I BOFMMJT 'SPNTFNBOUJDUBCMFBVYUP4NVMMZBOUSFFTBIJTUPSZ
PGUIFEFWFMPQNFOUPGUIFGBMTJGJBCJMJUZUSFFNFUIPE .PEFSO -PHJD
 
  <$JUFE PO QBHF >
[] KD CFBMM BOE HSFH SFTUBMM -PHJDBM 1MVSBMJTN 0YGPSE6OJWFSTJUZ1SFTT
0YGPSE  <$JUFE PO QBHF >
[] OVFM CFMOBQ %FDMBSBUJWFTBSFOPUFOPVHI 1IJMPTPQIJDBM 4UVEJFT
 
  <$JUFE PO QBHF >
[] C B EBWFZ BOE I B QSJFTUMFZ *OUSPEVDUJPO UP -BUUJDFT BOE 0SEFS $BN
CSJEHF6OJWFSTJUZ1SFTT $BNCSJEHF  <$JUFE PO QBHF >
[] DPMJO IPXTPO -PHJD XJUI 5SFFT "O JOUSPEVDUJPO UP TZNCPMJD MPHJD 3PVU
MFEHF  <$JUFE PO QBHFT  >
[] KBO VLBTJFXJD[ 0O%FUFSNJOJTN *O M CPSLPXTLJ FEJUPS 4FMFDUFE
8PSLT/PSUI)PMMBOE "NTUFSEBN  <$JUFE PO QBHF >
[] FEXJO E NBSFT 3FMFWBOU -PHJD " 1IJMPTPQIJDBM *OUFSQSFUBUJPO $BN
CSJEHF6OJWFSTJUZ1SFTT  <$JUFE PO QBHF >
[] SJDIBSE NPOUBHVF 6OJWFSTBMHSBNNBS 5IFPSJB  

 <$JUFE PO QBHF >
[] HSFH SFTUBMM /FHBUJPOJO3FMFWBOU-PHJDT)PX* 4UPQQFE8PSSZJOH
BOE-FBSOFEUP-PWFUIF3PVUMFZ4UBS *O EPW HBCCBZ BOE IFJOSJDI
XBOTJOH FEJUPST 8IBU JT /FHBUJPO WPMVNF PG "QQMJFE -PHJD 4FSJFT
QBHFT,MVXFS"DBEFNJD1VCMJTIFST  <$JUFE PO QBHF >
[] HSFH SFTUBMM -PHJD 'VOEBNFOUBMTPG1IJMPTPQIZ3PVUMFEHF 
<$JUFE PO QBHF >
[] S N TNVMMZBO 'JSTU0SEFS -PHJD 4QSJOHFS7FSMBH  #FSMJO  
3FQSJOUFECZ%PWFS1SFTT  <$JUFE PO QBHF >
[] UJNPUIZ XJMMJBNTPO 7BHVFOFTT 3PVUMFEHF -POEPO/FX:PSL
 <$JUFE PO QBHF >
[] UJNPUIZ XJMMJBNTPO ,OPXMFEHF BOE *UT -JNJUT 0YGPSE6OJWFSTJUZ
1SFTT 0YGPSE  <$JUFE PO QBHF >



[NBSDI ]

JNBHFBDLOPXMFEHFNFOUT
4VQFS(MVF5VCF SFQSPEVDFEXJUIQFSNJTTJPOGSPN 4VQFS(MVF$PSQP
SBUJPO
(FPSHF#PPMFJO$PMPVS BSUJTUVOLOPXO D 

<QVCMJDEPNBJO> WJB 8JLJNFEJB$PNNPOT


?iiT,ff+QKKQMbXrBFBK2/BXQ`;frBFBf6BH2,:2Q`;2n"QQH2n+QHQ`X
DT;

$IBSMFT4BOEFST1FJSDF CZ"VUIPS6OLOPXO D

<QVCMJDEPNBJO> WJB 8JLJNFEJB$PNNPOT


?iiT,ff2MXrBFBT2/BXQ`;frBFBf*?`H2bnaM/2`bnS2B`+2

$MBVEF4IBOOPO XJUIIJTFMFDUSPNFDIBOJDBMNPVTF5IFTFVT
3FQSJOUFEXJUIQFSNJTTJPOPG"MDBUFM-VDFOU64" *OD
?iiT,ffrrrXHM/H2vXM2if?BbiQ`vfKB``Q`fT`2fb?MMQMX?iKH

+BOVLBTJFXJD[ 
QIPUPHSBQIFSVOLOPXO <QVCMJDEPNBJO>
?iiT,ffrrrX+H+mH2KmbXQ`;fJi?lMBp2`bHBbfefHmFbXDT;

/PBN$IPNTLZ CZ "OESFX3VTL <DDCZ>


?iiT,ffrrrX7HB+F`X+QKfT?QiQbfM/`2r`mbFf88N3N3eNdNf

#BSCBSB1BSUFF <QVCMJDEPNBJO> WJB 8JLJNFEJB$PNNPOT


?iiT,ff+QKKQMbXrBFBK2/BXQ`;frBFBf6BH2,"`#`nT`i22XDT;



"EEP&MFQIBOU/BUJPOBM1BSL CZ #SJBO4OFMTPO <DDCZ>


?iiT,ffrrrX7HB+F`X+QKfT?QiQbfjke8N8k3!Lyyf9kN9kR9eN

5PZFMFQIBOUTOJQ CZ TBNNZEBWJTEPH <DDCZ>


?iiT,ffrrrX7HB+F`X+QKfT?QiQbfk888NRkk!Lyefey8d3N89j8f

0VSDBU

CZ JSSBUJPOBMDBU <DDCZTB>

?iiT,ffrrrX7HB+F`X+QKfT?QiQbfB``iBQMHn+ifj8dde8yR

;BDBOE(SFHJO"SJ[POB +BOVBSZ
CZ $ISJTUJOF1BSLFS
SFQSPEVDFEXJUIQFSNJTTJPO
8JMTPO5FOOJT3BDRVFU CZ ,FWFO1BZSBWJ <DDCZTB>
?iiT,ff+QKKQMbXrBFBK2/BXQ`;frBFBf6BH2,qBHbQMnh2MMBbn
_+[m2iXDT;

-BQUPQCZNZTUJDB<QVCMJDEPNBJO>
?iiT,ffQT2M+HBT`iXQ`;f/2iBHfR89RjfHTiQT@#v@KvbiB+

5IPNBT)PCCFT 
&OHMJTIQIJMPTPQIFS
BSUJTUVOLOPXO <QVCMJDEPNBJO>WJB8JLJNFEJB$PNNPOT
?iiT,ff+QKKQMbXrBFBK2/BXQ`;frBFBf6BH2,h?QKbn>Q##2bXDT2;

1PSUSBJUPG(PUUGSJFE-FJCOJ[ 
(FSNBOQIJMPTPQIFS
BSUJTU$ISJTUPQI#FSOIBSE'SBODLF DJSDB
)FS[PH"OUPO6MSJDI.VTFVN #SBVOTDIXFJH (FSNBOZ
<QVCMJDEPNBJO>WJB8JLJNFEJB$PNNPOT
?iiT,ff+QKKQMbXrBFBK2/BXQ`;frBFBf6BH2,:Qii7`B2/nqBH?2HKn
pQMnG2B#MBxXDT;



SFGFSFODFT

kESBGUPGNBSDI y

1PSUSBJUPG%BWJE)JMCFSU 
(FSNBONBUIFNBUJDJBO
BSUJTUVOLOPXO<$$ #: 4" > .BUIFNBUJTDIFT'PSTDIVOHTJOTUJUVU
0CFSXPMGBDI (FSNBOZ BSDIJWFTPG13PRVFUUF )FJEFMCFSH
?iiT,ffQrT/#XK7QX/2f/2iBH\T?QiQnB/4Nk9y

1IPUPHSBQIPG5IF4UBDLFE4MBUF4DVMQUVSFPG"MBO5VSJOHCZ4UFQIFO,FUUMF
1IPUPHSBQICZ+PO$BMMBTGSPN4BO+PTF 64" <$$ #: >
?iiT,ff+QKKQMbXrBFBK2/BXQ`;frBFBf6BH2,HMnhm`BM;XDT;

WJB8JLJNFEJB$PNNPOT



You might also like