Constructing Truth Tables in Logic

9A: )(-.,/.#(!P,/."P&-
=;IF9  +SQRJGICQMJTGLE?NSXXJC?AMKNSRCPNPMEP?KKCPKSQRAMLQGBCP?JJNMRCLRG?JQMJSRGMLQGLMPBCPRM?AAMSLR
DMPC?AFNMQQG@JCMSRAMKCAPCBGRKMBGyA?RGMLMDUMPIq%C?BJGLC9K?Qr@W"JJ?L)CLBCPQML'JGAIP$$#:
,(#(!P$.#0-
"DRCPAMKNJCRGLERFGQQCARGMLWMSQFMSJB@C?@JCRM
 *LRCPNPCR?LB?NNJWLCE?RGMLQAMLHSLARGMLQ?LBBGQHSLARGMLQ
 $MLQRPSAR?RPSRFR?@JCSQGLELCE?RGMLQAMLHSLARGMLQ?LBBGQHSLARGMLQ
 $MLQRPSAR?RPSRFR?@JCDMP?AMKNMSLBQR?RCKCLR?LBGLRCPNPCRGRQT?JGBGRW
"PCWMSD?KGJG?PUGRFRFC$FMMQC:MSP0UL"BTCLRSPC@MMIQCPGCQUPGRRCL@W&BU?PB1?AI?PB 5FCQCE?KC@MMIQ?JJMU
RFCPC?BCPRM@CAMKCMLCMDRFCAF?P?ARCPQ?LBK?ICBCAGQGMLQRF?R?xCARUF?RF?NNCLQLCVRPCQSJRGLEGLBGxCPCLR
QCOSCLACQMDCTCLRQGLRFCQRMPW?LBCLBGLEQ@?QCBMLRFCAFMGACQK?BC8PGRGLE?AMKNSRCPNPMEP?KGQ?JGRRJCJGIC
UF?RGRKSQR@CJGICRMUPGRCMLCMDRFCQC@MMIQ5FCNPMEP?KKCPKSQRAMLQGBCP?JJRFCNMQQG@JCGLNSRQRF?R?SQCPA?L
NSRGLRMRFCNPMEP?K?LBBCAGBCUF?RUGJJF?NNCLGLC?AFA?QCRFCLUPGRCRFCGPNPMEP?KRM?AAMSLRDMPC?AFMDRFCQC
NMQQG@JCMSRAMKCQ
"HFIH<H56@9 GQ?EP?NFGA?JRMMJSQCBRM?L?JWXC?JJRFCNMQQG@JCRPSRFT?JSCQMDRFCAMKNMLCLRJMEGA?JQR?RCKCLRQRM
BCRCPKGLCRFCT?JGBGRWMD?QR?RCKCLRMP?PESKCLR?JMLEUGRF?JJGRQNMQQG@JCMSRAMKCQ5FCPMUQMDRFCR?@JCAMPPCQNMLB
RMC?AFNMQQG@JCMSRAMKCDMPRFCEGTCLJMEGA?JQR?RCKCLRGBCLRGyCB?RRFCRMNMDC?AFAMJSKL"QGLEJCJMEGA?JQR?RCKCLR
F?QRUMNMQQG@JCRPSRFT?JSCQRPSCMPD?JQC*LRPSRFR?@JCQ?A?NGR?J5UGJJPCNPCQCLRRPSCT?JSCQ?LB?A?NGR?J'UGJJ
PCNPCQCLRD?JQCT?JSCQ
*LRFGQQCARGMLWMSUGJJSQCRFCILMUJCBEC@SGJRGL 4R?RCKCLRQ?LB2S?LRGyCPQ ?LB $MKNMSLB4R?RCKCLRQ RM?L?JWXC
?PESKCLRQ?LBBCRCPKGLCRFCGPRPSRFT?JSC?LBT?JGBGRW"JMEGA?J?PESKCLRGQT?JGBGDGRQAMLAJSQGMLDMJJMUQDPMKGRQ
NPCKGQCQPCE?PBJCQQMDUFCRFCPRFMQCNPCKGQCQ?PCRPSCMPD?JQC:MSUGJJRFCLCVNJMPCRFCRPSRFR?@JCQDMPLCE?RGML
AMLHSLARGML?LBBGQHSLARGML?LBSQCRFCQCRPSRFR?@JCQRM?L?JWXCAMKNMSLBJMEGA?JQR?RCKCLRQAMLR?GLGLERFCQC
AMLLCARGTCQ
(.,*,.P(P**&3P!.#)(-BP)($/(.#)(-BP(P#-$/(.#)(-
5FCLCE?RGMLMD?QR?RCKCLRUGJJF?TCRFCMNNMQGRCRPSRFT?JSCMDRFCMPGEGL?JQR?RCKCLR8FCL GQRPSC GQD?JQC?LB
UFCL GQD?JQC GQRPSC
2'*& 
=B8=B;H<9.FIH<05@I9C:5(9;5H=CB
'MPC?AFJMEGA?JQR?RCKCLRBCRCPKGLCRFCRPSRFT?JSCMDGRQLCE?RGML
 "JJFMPQCQ?PCKSQR?LEQ
 /CU%CJFGGQLMRRFCA?NGR?JMD*LBG?
>? 9PEP)!#
--P ),P ,P.P)*(-.2A),!

-C@IH=CB
 GQRPSC@CA?SQCBMCQCOS?JRFCPCDMPCRFCLCE?RGMLMD  GQD?JQC
 GQD?JQC@CA?SQCRFCPC?PCMRFCPRWNCQMDFMPQCQ@CQGBCQKSQR?LEQQSAF?Q$JWBCQB?JCQMP"P?@G?LQRFCPCDMPCRFC
LCE?RGMLMD  GQRPSC
 GQD?JQC@CA?SQC/CU%CJFGGQRFCA?NGR?JMD*LBG?RFCPCDMPCRFCLCE?RGMLMD  GQRPSC
3)/,./,( 
'MPC?AFJMEGA?JQR?RCKCLRBCRCPKGLCRFCRPSRFT?JSCMDGRQLCE?RGML
 4MKCFMSQCQ?PC@SGJRUGRF@PGAIQ
"@SH?GQRFCA?NGR?JMD/GECPG?
"AMLHSLARGMLGQ?JMEGA?J
?LB QR?RCKCLR'MP?AMLHSLARGMLRM@CRPSC@MRFQR?RCKCLRQRF?RK?ICSNRFCAMLHSLARGML
KSQR@CRPSC*D?RJC?QRMLCMDRFCQR?RCKCLRQGQD?JQCRFC ?LB QR?RCKCLRGQD?JQC
2'*& 
=B8=B;H<9.FIH<05@I9C:5CB>IB7H=CB
(GTCL ?LB BCRCPKGLCRFCRPSRFT?JSCMDC?AFAMLHSLARGML
-C@IH=CB
 GQRPSC?LB GQD?JQC#CA?SQCMLCQR?RCKCLRGQRPSC?LBRFCMRFCPQR?RCKCLRGQD?JQCRFGQK?ICQRFCAMKNJCRC
AMLHSLARGMLD?JQC
 GQD?JQCQM GQRPSC?LB GQRPSC5FCPCDMPC@MRFQR?RCKCLRQ?PCRPSCK?IGLERFCAMKNJCRCAMLHSLARGMLRPSC
 GQD?JQC?LB GQD?JQC#CA?SQC@MRFQR?RCKCLRQ?PCD?JQCRFCAMKNJCRCAMLHSLARGMLGQD?JQC
3)/,./,( 
(GTCL :CJJMUGQ?NPGK?PWAMJMP #JSCGQ?NPGK?PWAMJMP?LB (PCCLGQ?NPGK?PWAMJMPBCRCPKGLCRFCRPSRFT?JSC
MDC?AFAMLHSLARGML
5FCMLJWRGKC?AMLHSLARGMLGQRPSCGQGD@MRFQR?RCKCLRQRF?RK?ICSNRFCAMLHSLARGML?PCRPSC
"BGQHSLARGMLGQ?JMEGA?JGLAJSQGTC MP QR?RCKCLRUFGAFKC?LQRF?R?BGQHSLARGMLGQRPSCGDMLCMP@MRFQR?RCKCLRQRF?R
DMPKGR?PCRPSC5FCMLJWU?W?JMEGA?JGLAJSQGTC MP QR?RCKCLRGQD?JQCGQGD@MRFQR?RCKCLRQRF?RDMPKRFCBGQHSLARGML?PC
D?JQC
2'*& 
=B8=B;H<9.FIH<05@I9C:5=G>IB7H=CB
(GTCL ?LB BCRCPKGLCRFCRPSRFT?JSCMDC?AFBGQHSLARGML
9A:PEP)(-.,/.#(!P,/."P&- >@

-C@IH=CB
 GQRPSC?LB GQD?JQC0LCQR?RCKCLRGQRPSC?LBMLCQR?RCKCLRGQD?JQCUFGAFK?ICQRFCAMKNJCRCBGQHSLARGML
RPSC
 GQD?JQCQM GQRPSC?LB GQRPSC5FCPCDMPCMLCQR?RCKCLRGQRPSC?LBRFCMRFCPQR?RCKCLRGQRPSCUFGAFK?ICQ
RFCAMKNJCRCBGQHSLARGMLRPSC
 GQD?JQC?LB GQD?JQC8FCL?JJMDRFCAMKNMLCLRQR?RCKCLRQ?PCD?JQCRFCBGQHSLARGMLGQD?JQC
3)/,./,( 
(GTCL :CJJMUGQ?NPGK?PWAMJMP #JSCGQ?NPGK?PWAMJMP?LB (PCCLGQ?NPGK?PWAMJMPBCRCPKGLCRFCRPSRFT?JSC
MDC?AFBGQHSLARGML
*LRFCLCVRCV?KNJCWMSUGJJ?NNJWRFCBMKGL?LACMDAMLLCARGTCQRMyLBRFCRPSRFT?JSCQMDAMKNMSLBQR?RCKCLRQ
AMLR?GLGLELCE?RGMLQAMLHSLARGMLQ?LBBGQHSLARGMLQ?LBSQC?R?@JCRMPCAMPBRFCPCQSJRQ8FCLAMLQRPSARGLE?RPSRF
R?@JCRM?L?JWXC?L?PESKCLRUFCPCWMSA?LBCRCPKGLCRFCRPSRFT?JSCMDC?AFAMKNMLCLRQR?RCKCLRRFCQRP?RCEWGQRM
APC?RC?R?@JCUGRFRUMPMUQ5FCyPQRPMUAMLR?GLQRFCQWK@MJQPCNPCQCLRGLERFCAMKNMLCLRQRF?RK?ICSNRFC
AMKNMSLBQR?RCKCLR5FCQCAMLBPMUAMLR?GLQRFCRPSRFT?JSCQMDC?AFAMKNMLCLR@CJMUGRQQWK@MJ*LAJSBC?QK?LW
AMJSKLQ?QLCACQQ?PWRMPCNPCQCLRRFCT?JSCMDC?AFAMKNMSLBQR?RCKCLR5FCJ?QRAMJSKLGLAJSBCQRFCAMKNJCRC
AMKNMSLBQR?RCKCLRUGRFGRQRPSRFT?JSC@CJMUGR
0#)
-MEGA1?PR5PSRF7?JSCQMD$MLHSLARGMLQ*Q?L"/%QR?RCKCLRRPSCMPD?JQC FRRNQMNCLQR?VMPEP
5PSRF>7?JSCQ>MD>$MLHSLARGMLQ
-MEGA1?PR5PSRF7?JSCQMD%GQHSLARGMLQ*Q?L03QR?RCKCLRRPSCMPD?JQC FRRNQMNCLQR?VMPEP
5PSRF>7?JSCQ>MD>%GQHSLARGMLQ
2'*& 
=B8=B;H<9.FIH<05@I9C:CADCIB8-H5H9A9BHG
(GTCL ?LB AMLQRPSAR?RPSRFR?@JCRMBCRCPKGLCRFCRPSRFT?JSCMDC?AF
AMKNMSLBQR?RCKCLR
-C@IH=CB
 -H9D 5FCQR?RCKCLRq rAMLR?GLQRFPCC@?QGAJMEGA?JQR?RCKCLRQ  ?LB ?LBRFPCCAMLLCARGTCQ
8FCLUCNJ?ACN?PCLRFCQCQGLRFCQR?RCKCLRRMGLBGA?RCRFCBMKGL?LACMDAMLLCARGTCQRFCQR?RCKCLR@CAMKCQ
-H9D "DRCPUCF?TC?NNJGCBRFCBMKGL?LACMDAMLLCARGTCQUCAPC?RC?RUMPMUR?@JCRF?RGLAJSBCQ?AMJSKLDMP
C?AF@?QGAQR?RCKCLRRF?RK?ICQSNRFCAMKNMSLBQR?RCKCLR?LB?L?BBGRGML?JAMJSKLDMPRFCAMLRCLRQMDC?AF
N?PCLRFCQCQ#CA?SQCUCF?TCRFPCCQCRQMDN?PCLRFCQCQUCGLAJSBC?AMJSKLDMP RFCGLLCPKMQRN?PCLRFCQCQ?
AMJSKLDMP RFCLCVRQCRMDN?PCLRFCQCQ?LB GLRFCJ?QRAMJSKLDMPRFCRFGPBN?PCLRFCQCQ
-H9D 0LACRFCR?@JCGQAPC?RCBUCBCRCPKGLCRFCRPSRFT?JSCMDC?AFQR?RCKCLRQR?PRGLEDPMKJCDRRMPGEFR5FC
RPSRFT?JSCQMD  ?LB ?PCRPSCD?JQC?LBRPSCPCQNCARGTCJWQMUCNJ?AC5'?LB5GLRFCQCAMLBPMUMDRFCR?@JC
#CA?SQC GQRPSC GQD?JQC
-H9D /CVRCT?JS?RC DPMKRFCR?@JC GQD?JQC?LB GQ?JQMD?JQCQM GQD?JQC@CA?SQC?AMLHSLARGML
GQMLJWRPSCGD@MRFMDRFCQR?RCKCLRQRF?RK?ICGR?PCRPSC1J?AC?L'GLRFCR?@JC@CJMUGRQFC?BGLE
-H9D 'GL?JJWSQGLERFCR?@JCUCSLBCPQR?LBRF?R GQD?JQC?LB GQRPSCQMRFCAMKNJCRCQR?RCKCLR
GQD?JQCMPRPSCUFGAFGQRPSC@CA?SQC?BGQHSLARGMLGQRPSCUFCLCTCP?RJC?QRMLCMDRFCQR?RCKCLRQRF?R
?7 9PEP)!#
--P ),P ,P.P)*(-.2A),!

K?ICGRGQRPSC1J?AC?5GLRFCJ?QRAMJSKLMDRFCR?@JC5FCAMKNJCRCQR?RCKCLR GQRPSC
5'5 ' ' .
 -H9D "NNJWGLERFCBMKGL?LACMDAMLLCARGTCQRMRFCMPGEGL?JAMKNMSLBQR?RCKCLR UCECR
-H9D 5FCR?@JCLCCBQAMJSKLQDMP ?LB
-H9D5FCRPSRFT?JSCQMD   ?LB ?PCRFCQ?KC?QGL2SCQRGML
-H9D /CVR GQD?JQCMPD?JQCUFGAFGQD?JQCQMUCNJ?AC?L'@CJMURFGQQR?RCKCLRGLRFCR?@JC5FGQGQRFC
MLJWRGKCRF?R?BGQHSLARGMLGQD?JQC
-H9D 'GL?JJW ?LB ?PCRFCAMLHSLARGMLMDRFCQR?RCKCLRQ ?LB ?LBQMRFCCVNPCQQGMLQCT?JS?RCRM
D?JQC?LBRPSCUFGAFGQD?JQC3CA?JJRF?RRFCMLJWRGKC?L?LBQR?RCKCLRGQRPSCGQUFCL@MRFQR?RCKCLRQRF?RDMPK
GR?PC?JQMRPSC5FCAMKNJCRCQR?RCKCLR GQD?JQC
5'5 ' '
 -H9D "NNJWGLERFCBMKGL?LACMDAMLLCARGTCQRMRFCMPGEGL?JQR?RCKCLRUCF?TC 
-H9D 4MRFCR?@JCLCCBQRFCDMJJMUGLEAMJSKLQ ?LB
-H9D 5FCRPSRFT?JSCQMD  ?LB ?PCRFCQ?KC?QGL2SCQRGMLQ?LB
-H9D 'PMKRFCR?@JCGRA?L@CQCCLRF?R GQRPSC?LBRPSCUFGAFGQRPSC4MRFCLCE?RGMLMD ?LB GQD?JQC
@CA?SQCRFCLCE?RGMLMD?QR?RCKCLR?JU?WQF?QRFCMNNMQGRCRPSRFT?JSCMDRFCMPGEGL?JQR?RCKCLR
-H9D 'GL?JJW GQRFCBGQHSLARGMLMD UGRF ?LBQMUCF?TCD?JQCMPD?JQCUFGAFK?ICQRFC
AMKNJCRCQR?RCKCLRD?JQC
5'5 5 '
3)/,./,( 
(GTCL :CJJMUGQ?NPGK?PWAMJMP #JSCGQ?NPGK?PWAMJMP?LB (PCCLGQ?NPGK?PWAMJMPBCRCPKGLCRFCRPSRFT?JSC
MDC?AFAMKNMSLBQR?RCKCLR@WAMLQRPSARGLE?RPSRFR?@JC
)(-.,/.P,/."P&-P.)P(&34P&&P)--#&P/.)'-
3CA?JJDPMK 4R?RCKCLRQ?LB2SCQRGMLQ RF?RRFCLCE?RGMLMD?QR?RCKCLRUGJJ?JU?WQF?TCRFCMNNMQGRCRPSRFT?JSCMDRFC
MPGEGL?JQR?RCKCLRGD?QR?RCKCLR GQD?JQCRFCLGRQLCE?RGML GQRPSC?LBGD?QR?RCKCLR GQRPSCRFCLGRQLCE?RGML
GQD?JQC5MAPC?RC?RPSRFR?@JCDMPRFCLCE?RGMLMDQR?RCKCLR ?BB?AMJSKLUGRF?FC?BGLEMD ?LBDMPC?AFPMU
GLNSRRFCRPSRFT?JSCUGRFRFCMNNMQGRCT?JSCMDRFCT?JSCJGQRCBGLRFCAMJSKLDMP ?QBCNGARCBGLRFCR?@JC@CJMU
9A:PEP)(-.,/.#(!P,/."P&- ?8

(9;5H=CB
5'
'5
$MLHSLARGMLQ?LBBGQHSLARGMLQ?PCAMKNMSLBQR?RCKCLRQDMPKCBUFCLRUMJMEGA?JQR?RCKCLRQAMK@GLCUGRFRFC
AMLLCARGTCQq?LBr?LBqMPrPCQNCARGTCJW)MUBMCQRF?RAF?LECRFCLSK@CPMDNMQQG@JCMSRAMKCQ?LBRFSQBCRCPKGLCRFC
LSK@CPMDPMUQGLMSPRPSRFR?@JC 5FC AI@H=D@=75H=CBDF=B7=D@9?JQMILMUL?QRFC
DSLB?KCLR?JAMSLRGLENPGLAGNJC
QR?RCQRF?RRFCLSK@CPMDU?WQWMSA?LQCJCAR?LGRCKDPMK?EPMSNMD GRCKQ?LB?LMRFCPGRCKDPMK?EPMSNUGRF
GRCKQGQCOS?JRMRFCNPMBSARMD ?LB #CA?SQCC?AFNPMNMQGRGML ?LB F?QRUMNMQQG@JCMSRAMKCQRPSCMPD?JQCRFC
KSJRGNJGA?RGMLNPGLAGNJCQR?RCQRF?RRFCPCUGJJ@C NMQQG@JCMSRAMKCQY555''5''[
5FCRPCCBG?EP?K?LBR?@JCGL 'GESPC BCKMLQRP?RCRFCDMSPNMQQG@JCMSRAMKCQDMPRUMNPMNMQGRGMLQ ?LB 
=;IF9 
"AMLHSLARGMLGQ?JMEGA?J
?LB QR?RCKCLR'MP?AMLHSLARGMLRM@CRPSC@MRFRFCQR?RCKCLRQRF?RK?ICSNRFCAMLHSLARGML
KSQR@CRPSC*D?RJC?QRMLCMDRFCQR?RCKCLRQGQD?JQCRFC ?LB QR?RCKCLRGQD?JQC
"BGQHSLARGMLGQ?JMEGA?JGLAJSQGTC MP QR?RCKCLR8FGAFKC?LQRF?R?BGQHSLARGMLGQRPSCGDMLCMP@MRFQR?RCKCLRQRF?R
K?ICGR?PCRPSC5FCMLJWU?W?JMEGA?JGLAJSQGTC MP QR?RCKCLRGQD?JQCGQGD@MRFQR?RCKCLRQRF?RK?ICSNRFCBGQHSLARGML
?PCD?JQC
CB>IB7H=CB( =G>IB7H=CB),
55 5 55 5
5' ' 5' 5
'5 ' '5 5
'' ' '' '
0#)
-MEGA1?PR5PSRF7?JSCQMD$MKNMSLB4R?RCKCLRQUGRF?LBMP?LBLMR FRRNQMNCLQR?VMPEPMN-*R;$$
-MEGA1?PR8F?R?PCRPSRFR?@JCQ )MUBMWMSQCRRFCKSN FRRNQMNCLQR?VMPEPRB43O-(F?U
?9 9PEP)!#
--P ),P ,P.P)*(-.2A),!