Logic1 Notes Logic1notes Chapter 1

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

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

* 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

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

*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


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

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
"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

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
*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

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

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
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
/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

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

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

%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

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
" 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

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


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

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

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

"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

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

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

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

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

kESBGUPGNBSDI y
CMBOLUSVUIUBCMFT
)FSFBSFTPNFCMBOLUSVUIUBCMFTUPQSJOUPVUBOEVTFGPSZPVSPXOXPSL GPS
UISFF GPVSBOEGJWFBUPNJDQSPQPTJUJPOT

[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ì22XDT;

"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`ìBQMHn+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ìXQ`;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

Logic1 Notes Logic1notes Chapter 1

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Logic1 Notes Logic1notes Chapter 1

Uploaded by

Copyright:

Available Formats

QBSU J

6TF UIFTF TVNNBSZ TFDUJPOT BU UIF TUBSU

1SPQPTJUJPOBMDPOOFDUJWFT 5IFTFBSFUIFMPHJDBMDPODFQUT BOE 

5IJT ZFMMPX CPY PGGFST B EFGJOJUJPO 1BZ

8F VTF PSBOHF CPYFT GPS FYBNQMFT

5IF * IFSF JT (SFH CVU TPNFUJNFT UIF

4PNF QFPQMF DPNQMBJO BCPVU UIF DMBVTF

5IFTFBSFTFOUFODFTUIBU EPOU FYQSFTTQSPQPTJUJPOT

&WFO UIPVHI XF UBLF QSPQPTJUJPOT UP

TFOUFODFJTBOFYQSFTTJPOPGHSBUJUVEFPSTVSQSJTF 5IFMBTUJTB HSFFUJOH

*G * TUSJLFUIFNBUDI BOE JUJTOU XFU

'PS QSPQPTJUJPOT p BOE q UIFJS DPOKVODUJPO JT UIF QSPQPTJUJPO

*O TPNF PUIFS MPHJD UFYUT ZPVMM TFF B

)BOH PO GPS B QBHFXFMM

:FT *NUBLJOH -PHJDBOE*NUBLJOH -PHJD

0GUFO XIFOBTTFSUJOHBEJTKVODUJPO XFEPOPUNBLFDMFBSXIFUIFS

"T XF XJMM TFF JO UIF OFYU TFDUJPO XIFO

p BOE q BSFDBMMFEUIF EJTKVODUT PGUIFEJTKVODUJPO

5IF TZNCPM JT GSPN WFM UIF -BUJO

*UT POF UIJOH GPS VOMFTT UP CF B EJT

5IJTTBZTUIBUFJUIFS* HPUPUIFQBSUZ PS$MBODZJTUIFSF *G$MBODZJT

*OFBDIPGUIFTFDBTFT XFTBZUIBU p JTUIF BOUFDFEFOU BOE q JTUIF DPOTF

'PSQSPQPTJUJPOT p BOE q UIFJS DPOEJUJPOBM JG p UIFO qJTUIF

" IBOEZ UFTU JT UP BTL 8IBU

5IF CJDPOEJUJPOBM PG p BOE q JT p q

CJDPOEJUJPOBMT *OQIJMPTPQIZ NBUIFNBUJDTBOEPUIFSUFDIOJDBMEP

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

"O FMMJQTJT JT UIF UISFF EPUT XF VTF UP

8FMM UIFZ IBWF UIF TBNF TPSU PG HSBN

8FXJMMVTFUIFTFTZNCPMTUPEFGJOFB GPSNBMMBOHVBHF UPSFQSFTFOUUIF

8FEFGJOFUIF GPSNVMBT PGPVSMBOHVBHFCZTUBSUJOHXJUIBDPMMFDUJPOPG

5IJT JT COG PS #BDLVT /BVS 'PSN

4JODF p JTBGPSNVMB CZDPOEJUJPO 

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

*O UIJT DBTF UIF NJTTJOH QBSFOUIFTFT

8IZ QVU UIF PVUFSNPTU QBSFOUIFTFT JO

GPS ZPV $POTJEFS B UJOZ MBOHVBHF XIJDI DPOUBJOT POMZ UXP

'PSNBMJTJOH B TFOUFODF JT B LJOE PG

*UT QVSFMZ B NBUUFS PG DIPJDF BT UP

5IJTHJWFTVTUIFGPMMPXJOH EJDUJPOBSZ QBJSJOHVQBUPNJD GPSNVMBT

5IFOUIFVOMFTTJTBEJTKVODUJPO *OHFOFSBM A VOMFTT BIBT

UIFEJTKVODUJPOPG l XJUI c "TXFWFBMSFBEZTBJE XFDBOMFBWF

 )FSFUIFSFBSFUXPOFHBUJPOT JOEPOUBOEDBOU BOEUIF

/PUJDF XFWF MFGU PVU IF

BOTXFS  *TUIFDPSSFDUBOTXFS BOECPUIIBWFUIFGPSN

Match any of the following rules:

of the following are true:!

of the following are true:!

$POGFTTJPO * IBWF B MPU PG ,FJUI +BSSFUU

/PUJDF XFSF NPWJOH CFZPOE UIJOLJOH

"OPUIFS TPVSDF PG BNCJHV

5IJTMBTUFYBNQMFJTWFSZTVCUMF .BZCFZPVDBOUBDUVBMMZ IFBS UIF

 ] NPEFMTGPSQSPQPTJUJPOBMMPHJD USVUI

8FXSJUF 1 GPSUSVFBOE 0 GPSGBMTF

QPTTJCMFUSVUIWBMVBUJPOT (JWFOUISFFBUPNJDQSPQPTJUJPOT p q BOE

5IJT JT DMBTTJDBM UXPWBMVFE MPHJD *O

$BO ZPV TFF XIZ JU NBLFT TFOTF UP

8FDBMMFBDIPGUIFTFEJGGFSFOUDIPJDFTPG 0 BOE 1 GPSUIFBUPNJD

5IFSF JT TPNF DPOGVTJPO DBVTFE CZ

5IJT JT XIZ MPHJD DBO HFU USJDLZ 5IFSF

32 1, 024 1, 048, 576 > 10

5IBUT B 1 GPMMPXFE CZ 18 [FSPT

*GZPVIBWFBUPNJDQSPQPTJUJPOT UIFOUIFSFBSF 260 XIJDIJTNPSF

1SPQPTJUJPOBMDPOOFDUJWFT 5IFTFBSFUIFMPHJDBMDPODFQUT BOE

5IJT ZFMMPX CPY PGGFST B EFGJOJUJPO 1BZ

8F VTF PSBOHF CPYFT GPS FYBNQMFT

5IFTFBSFTFOUFODFTUIBU EPOU FYQSFTTQSPQPTJUJPOT

TFOUFODFJTBOFYQSFTTJPOPGHSBUJUVEFPSTVSQSJTF 5IFMBTUJTB HSFFUJOH

G TUSJLFUIFNBUDI BOE JUJTOU XFU

:FT NUBLJOH -PHJDBOENUBLJOH -PHJD

p BOE q BSFDBMMFEUIF EJTKVODUT PGUIFEJTKVODUJPO

*UT POF UIJOH GPS VOMFTT UP CF B EJT

5IJTTBZTUIBUFJUIFS* HPUPUIFQBSUZ PS$MBODZJTUIFSF *G$MBODZJT

*OFBDIPGUIFTFDBTFT XFTBZUIBU p JTUIF BOUFDFEFOU BOE q JTUIF DPOTF

" IBOEZ UFTU JT UP BTL 8IBU

5IF CJDPOEJUJPOBM PG p BOE q JT p q

CJDPOEJUJPOBMT *OQIJMPTPQIZ NBUIFNBUJDTBOEPUIFSUFDIOJDBMEP

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

8FMM UIFZ IBWF UIF TBNF TPSU PG HSBN

4JODF p JTBGPSNVMB CZDPOEJUJPO

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

GPS ZPV $POTJEFS B UJOZ MBOHVBHF XIJDI DPOUBJOT POMZ UXP

5IFOUIFVOMFTTJTBEJTKVODUJPO *OHFOFSBM A VOMFTT BIBT

UIFEJTKVODUJPOPG l XJUI c "TXFWFBMSFBEZTBJE XFDBOMFBWF

)FSFUIFSFBSFUXPOFHBUJPOT JOEPOUBOEDBOU BOEUIF

BOTXFS *TUIFDPSSFDUBOTXFS BOECPUIIBWFUIFGPSN

$POGFTTJPO * IBWF B MPU PG ,FJUI +BSSFUU

"OPUIFS TPVSDF PG BNCJHV

5IJTMBTUFYBNQMFJTWFSZTVCUMF .BZCFZPVDBOUBDUVBMMZ IFBS UIF

] NPEFMTGPSQSPQPTJUJPOBMMPHJD USVUI

8FXSJUF 1 GPSUSVFBOE 0 GPSGBMTF

QPTTJCMFUSVUIWBMVBUJPOT (JWFOUISFFBUPNJDQSPQPTJUJPOT p q BOE

5IJT JT DMBTTJDBM UXPWBMVFE MPHJD *O

5IJT JT XIZ MPHJD DBO HFU USJDLZ 5IFSF

5IBUT B 1 GPMMPXFE CZ 18 [FSPT

*GZPVIBWFBUPNJDQSPQPTJUJPOT UIFOUIFSFBSF 260 XIJDIJTNPSF

XJUIFJHIUSPXT POFGPSFBDIUSVUIWBMVBUJPOGPS p q BOE r 5IFOJO

] OFHBUJPO DPOKVODUJPOBOEEJTKVODUJPO

g NPEFMTGPSQSPQPTJUJPOBMMPHJD USVUIUBCMFT

%JTKVODUJPOT BSFUSVFXIFO BUMFBTUPOF PGUIFEJTKVODUTJTUSVF "OE

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

BOTXFS 5IJTJTUIFTBNFUSVUIUBCMFBTGPS (A B)

TUBHF 'JOBMMZ XFDBOOFHBUFUIFSFTVMU UPHFUUIFDPNQMFUFEUBCMF

/PUJDFUIBUUIFTFUXPDPMVNOTBSF JEFOUJDBM 5IJTUFMMTVTTPNFUIJOH

BOTXFS (p q) BOE (p q) IBWFEJGGFSFOUUSVUIUBCMFT

" CJDPOEJUJPOBM GPSNVMB (A B) JTUSVFQSFDJTFMZXIFO A BOE B

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

'PS UIPTF UIBU DIPPTF UIF $PNCJOB

-FU A BOE B CFBOZGPSNVMBT 5IFOUIFGPSNVMB

"NPOH UIF QPTTJCMF HSPVQT PG USVUI

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

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

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

" QSPQPTJUJPOBMMPHJDGPSNVMB A JT TBUJTGJBCMF FYBDUMZXIFO A FWBMV

" QSPQPTJUJPOBMMPHJDGPSNVMB A JT DPOUJOHFOU FYBDUMZXIFO A JTTBU

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

GPSZPV *T p (p q) BUBVUPMPHZ BDPOUSBEJDUJPOPSDPOUJO

5IFSF BSF NBOZ PUIFS QFPQMF TJHOJGJDBOU JO UIF EFWFM

5IFSFJTPOMZPOFSPXXIFSF (p q) JTUSVF UIFUIJSESPX

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

'PSNVMBT A BOE B BSF DPOUSBSJFT XIFOUIFZDBOOPUCPUICFUSVF

A BOE B BSF TVCDPOUSBSJFT

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

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

<QVCMJDEPNBJO> WJB 8JLJNFEJB$PNNPOT

$IBSMFT4BOEFST1FJSDF CZ"VUIPS6OLOPXO D

<QVCMJDEPNBJO> WJB 8JLJNFEJB$PNNPOT

/PBN$IPNTLZ CZ "OESFX3VTL <DDCZ>

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

5PZFMFQIBOUTOJQ CZ TBNNZEBWJTEPH <DDCZ>