GGmice 02 a) CABGA Y= $2 16'e to 168+ 4k Zed 16's ree = 830.385, CABG 4 4400 4030 tot! 101) coer, HABR Sie =m AAG $010.10 1011 9a04, 3 1286 Z d CABBA,,- 3425661, UdBoaecnaca® da bore b 40,» 20, Jb'+ 1b +0 b= 20 b34 b -AO2O_ al be-S CABB A= 830395, 5 830385 4 _—_ 2075} sayacd oy @ @ aime Le ee bo @ 429744 G 2 @ 3243, Q Ia Big oad CABBA, © 3022239 aod, 4 ag he > Yp- 10100, © 34, GB AGy © HoAO, = lo, = £10,100; = Q4p ad Qo = 101002 =2919 100, = |y 4 4 16 3) Moss = A ater Sad a= 305, 3,25, =e [ pads vdena = 3 J 3254-39 0,25 g “joo 3,05, = le Slee = > + 3eSe 3,46 0,99 ) sie 4G" Rediia op 3AS,= 24 ap 2957 344 0,28 3/00 8) Ao, = 4-48" + Fe 4kOg= 00100) 000 2 400 4000; re Nog = 48,, La Bit. aoa @4 hy_ 3 63 38 48 380 Ord 1100 ¢) {6 Lio 612 -Jo. 43 oe ato 2to_ oO Bathe ine sane Tidod Lage \ | . joro 10,{ 11029 9 og ge 92 OH SroOlo a 3 ‘Ql a Hé jh Bit oO 019908 :. B = f-.0,9 = {doo ALo0 19 We \ Addod +10. = 1o,A M400 100~~60 40 I000 ‘1 10009 31060 ih 200. —%o1 90000 ~O@Xo60liiy Quota 05 | oe tok (4300 22,8105 (AF J1I4,00 L104 15,2083, 0,208 33 GDHIGE6SE a, 83.33: ———2. xo 2 Bice 083333 Beves 06666 93333, 2 eee Vaj3333" 3 eee 0,20833- @A LLolok 0, 81as * 0, 6875 2, 85859375 a) 5 u&% Dexa (20/4 = Ss) b) ocel a FFFFE c) nee OY 9576 poicawe 6 | -20 -45 202 ANWIO Cs 1a9- cootyi10 dddh Saige o000dyaa Is- 204 444 00004 - |S = Aik4o000 ; “IN@MOLo TISCoT 1 444000 10 Fi i000! . 00 10 400 () TTeroory- CoE ~ uy +S Oy Sade “4s | b) 84456 yoo | OtoL0c Qy= lolodoo/ +84= Clo io a a ne ( + 56~Q04 34 00° 5 20 S43. 000-— S6- Qo TH oo af $0e Qcoru svolou ee c) -FF428 G7 = wows | +97 = 03400001 7g. ooalyo | +72 =o ,00LMO \yxt —4}4 \ooAMIO 04003440 a ® rood tds fooult | TUPVOSIOL iit G00 100 40 -19 OOOLOG II eae ANG3) -390-9 = - 129 Vox ecadur e) 75g ~ 308 25ge MLiody = 6h, | 20g- O1LG002 = Aad +64- COAM\OL +24 - Go PA\900 yy \ “Ne WLoOOM 5 ction A » {Moi ooo — AVARSTOGO (Yoosoolo4 \ ~~ 433 £) -2-1D. Qdie = COLO COO {2° O ode wre borer 4 Dds Ady = 0003 saot J pl upracctox 29-11 ( _ Qa= tol ie. ID= Alo 010 ol tl lo THO O01 yor 1110 _-» OI AMO 110 901! y — 4 1120 000 eww a *F Auwee 07 | @) 74+2 h) 623+599 Oly 0400 (34) pic 0040 ood 0030 GOAL 34 {oa food Voor oss] a. ett 4 g 3 o\fo a o\lO yeologals aro 3 a 2 24 1Qs-1a2 vi ’ eet yy eae Bi ood 40 oso loos) ta aoa ae cps eee jot 10512, wo emlica BIG COSY ai bebooo — altO old oslo —_ uo O4J 0 OOTP JOC ol\Ab wae Vester os a 4 (y7 000° ° 7 | gag 0002 1) at eee at 9) ; “oy OD S-Lae — e014 G400 oll —— OQ 10t!l IF °0 eis ee - “gece ie coi oot Qo40 ~ | 0044 9000 a000 | b1ao 1adt ol ‘O000 00) a i Faeigaieat Cueilols ( |, 9009 @ (00 9019 Drode Aw cr0r OO TT 00-34 emp 9) Ee EE cp 44 GQ20 O 9051 Q400 Oy » ee p{say Vory ster “qq0o S100 OTT eS ' of 1 Gonplmade dF | 300-343 4 } ar ohear | 994 00 1! 0000 0000 | aH 3 + gASO olog O11 ; 2Eq4 a 8) ese = “oot ioe ono BF 93 pcopennesile| q 6& 6 GEaY | 999 u oe - 3.eS is ’ 6F2 4OO DL 2 vias 15385 ‘ARAB otk Is yye3se L 5 8 6) 3E41 -OF9a -oErE FREF je 3E44 35 bee A OEP OR OFFE Boe dD Ansoxto. ©) 200-4000 4q@00 = o\cagosnacnO.ca90 QFOO . cooe_ PRE ce Corer EFOSs FA2 a Neb 5, BOS AOFF = A Quotse i “ETS. on" _ 18) Boe AEX 38 200 Epic, 4ZFQOH ff 22) day 4 of ae) Axe sloxh a4 p-2-1 a ee4oRzPEB ~ LE 927 WDE VGE te aa yt S4(F-Qa\= E 2 7Q / 8+ IS-Gal= | Fe Dee | “e._Io 1 Q-1a FAG pe (Feu) Joza J , NC#PES ELE DEA AtP+ D=9 WDREF?GE (Peg Nv Hy y= IP of | weds -16 9 Oo = [44P = 25 we2 ee Padosdio, Q=A P2B Ww-2 Quoice Lo\ a) S Ags are 5 I6telol6e db rab 126 Jo -B+3btak b'+3b cor a~ b) QO, = WO. 3 C4102 20 07+ C-2d =O [aa =» e-4f Ca>-5 Ouelso 12| 6 sa-k | Fah-a | B7s-a 9: |9000 | 0000 ta ened foul | “3 foo 1 0.0N4 {do kd _ 5 {e100 0400 oligo) AeA A oO Lolo S toot Joos olol 6 1060 07 hoyhi dood — F Sell 1000 o100 | 2 jLodlo \eld. 1000) 4 [ite O wit owit nada 41) ee sh b) AS= lol GIL = orquise aod hen Be hSene 2, note. en : Lboode nis dea do 9° ben\ ; o) FR SALA ye aquve altrade b/baXkup, ( ae aoe exigp d. (6 herda, ) Prodbudo née PRegso pe Ara) © SF = Old OL = Squire wudlerade , Wie 5, roe \ecedo pBig de PH kode, Dirdinc wilea) F(AB,C,D\= Ax AB+CD AR CD _ A T_T t — — = Lo ACD), AAL ! cD pe 1 a ee = A Gt E+E ceeererrsera| > ~ pe 2 ¢) FUBC,D)- ABE +ARCD wae Aea) 52¢+(aR). RA » ‘ ) | Awe DIAG] Belay (Revd) 6 000 0) @7olO, o [oe QO 0 HOT oT o Ca oe) Te es 9 | 9, 9 Q o. CHRaon aC e Hom 0199/0 0 Lo O19, a, a 4 A) OTTO, Ue 7G ee Oe CO Ait oe 4 A Av kd al A 019]0|;~@ 79 OO) 4 6 OO, 0} 9 y OO} AT Uy 4 ‘Landaa 56] a) FAR c)= ARC +ABRC+ ABE + ARS +A BC cape FAR, C)- AB CZ+c) + Be (AtA + AB (E+) FIR O- AB +BCe AE re = & (Ash)+ BO Spt, = BrBe\ 4 Ww Por outro lado, consideremos sy+@+N=e+D+zy ath) (e+ +2) @+0 +H [a2b} 1+9)(1 +2) (3a, Ab] ah (rab =1 AS] Sendo assim, E+ ery satisfazem os axiomas Ada e Adb, pelo que +7 devers set 0 (tinico) complemento de xy, e vice-versa, B entiin possivel excrever €, por duslidade, 3.3 Escreva tabelos de verdade adequadas para as seguintes Fungoes booleanas simples: a) (ABC) = AB +O)(B +O}; b) (A,B,C, D) B ©) SABC) =AC+B Resolugao: a) f(A, B,C) = A(B+T)(B+C) — vd. a Tabel 338 a) Tabela 9.3: Tabela de verdade da fungao f(A, B,C) = A(B+T)(B+C). A enuumeragio das linhas pelos equivalentes decimais dos niimeros correspondentes as quantidades booleanas gerais (A, B,C) = (0,0,0)...(1,1,1) nav faz parte da i. uma (ae e [a [store tent oera | > fee rle| ala ° te freolsfa]o | ° os froajafada | 1 6 eee 1 1 1 1 Notemos, na coluna +7 que & sufcente que B =0 ou que C = 0 para que B+C= 1. Por outro lado, na coluna B + C 6 sufciente que B = 1 ow que @=1 para que B+ C= 1. Finalmente, na colune da fungto baste que wm dos trés factores, A.B +T ou B+ C tenha o valor 0 para que f = 0. b) f(A, B.C,D) = A(B+T(B+D)) — vd. a Tabela 3.4. Buch OMA BC) =AC+BC vd. a Tabeln 35,18 CAPITULO 3. ALGEBRA DE BOOLE BINARIA ‘Tabela 3.4: Tabela de verdade da funsio f(A, B,C,D) = A(B-+7(B + D)) [ate o | 8s0[t@im [os foo oof a} a] e@oorl a} gore} i] og foorrl ys] Jorool oo] o ore:] 4 1 erro}! of o ori] 4 o [2 oo of 3 1 ee lees | frorej i] 3 fiers a] o 1100] of o oe eee [epee en praia] a ° Roe Tabela 3.5: Tabela de verdade da fungdo f(A, B,C) = AC + BC. A emu. ‘erasao des linhas pelos equivalentes decimals dos niimeros eorrespondenten ‘eatdades booleanas gerais (4, B,C) = (0,0.0)...(1,1.1) nio faz parte de tabela a < [ac eae ‘asos possiveis (demonstracio por indugdo oom Peta), que os seguintes teoremas so valides (os paces de teorerons nae duais):face a) (A+B +AB) (M4B)AB =O = CAAB +48) (AKb+ LCR) = (A+B 1AB)- (o) =O ) AB(S4Dz)+(a+DAd B-B BBAABCD+ABABD c BB +ABSABD (64%) & a D+AR+ ABD a -AB( (540) +ARB = AR4ABe] B (AAA) -B) S) Teo. (B).a]s (Za) as - (Fea A): (ZS) -( Ga+A]- (co) -[(e+0)+K CD . Bep+ee DakeD c 9 I ay DI >BcD+eCD+hcD "CO(Bt IAB) = ep Uundap 48 a) ABCD + ABCD aR wey +AGZD + ABCD > ARCS = ABC CDAD) ABD (C+Z) ABO CE tz) = ABC RB H+RED = ABCHAD (BB) = ABC HAD+ ) =» ALA B- Ase 2) *1+ wx F4x7 = VOeax)twWxys = Y4 WKY = ¥ (At wxys) ve =y 3) KVZ 4Y2 «2 —-\ = z(RY*Y&) eB (2-74 be) = 2 (6 9+ Oey) = Jn BIR 74 FV one ALT Jee! =2ley+ > 2 Cas oe a Onwdae 44 2=4Re 4 hope dc < (@+0) Oe hae Je Aud Lacie Nuacodl- Bodite B + ae ae Bea bas oS 2 o4 _ CDAAB +Abe +E (RRA B) 468 2 CCARLAR) 4 E ; sib) E (aoe) ZeARCAABS ABC HABE ee Cc Rem + TZ (Awe) Z- c@hes) jz-Acwoc{ si Fangus =45.9 9000 ~~~ HOO © O|P 670 O> = O89O7~O QE-O ON ~ ~ — > (=== -=-~E000/0009 07 ©~O~ 0 O~QLO~OlU ——— too, encende £90 Neds de Was 2 2 16 pakdeda NS/S 2 3 Dap S|) $2ARED+ARED ABCH vie D ;| ss ABZ (+0) + ABC (840) 1 -ABE+ABC st “Senb(Z+e) 0) [e: ABe Qo o A gs L’e=p a | al g | Qo} o |~ Bustos as a) 10 soso \\q000, + 2. onlin DX ) CO Fens Naqudincn, Conhie B) ©4060, WW 1100 os wanton olin BLE “3 14 ja 3009 bd Dt ce) 4 2000, Ao a104 = LaQuinta tordin ode Qo “Ta 5“(heey (e daca} [es (K+¢) (3) +-[GaeB)+ (B Dec)| ( €- (G5 ea $-Case54 Bp-cp | (Ee (5 + (ex 5=Cas ad+ (ess) (Z+5)] Cé (a€ xa0)] $-CA+B D+GENC5. ESIC ALE +820) =CA+ D(Q+e+w BE Ae +BEd4 on 2 (0+5+82\(az+Bz0) - AAC+ ART D4ATH+ QEVD WARE CBE TED = AT+AGBTD +ATD + ABS +HzED = F(A raw D4 AB +A B+ BD) = E (A+ ep +548) +0 >& (A+8D) | Badan 23 @) ALAR A+R -» proads am ada | YA BACA BCHARUC + Prva pr mus do habla | ike 37TRY ARRE KYET AVES YZ +X YaRe +E ave = KY (242) 495452 wmudphis KY por(2 +3) = Ke SXYP 4V5452 = Xe (1s8) .98 (44) = &24yy : c) bears yo19 AA Resolucdo: Como se pretendem provar as igualdades por indugdo completa, ter- [Si femos que as provar para todas as quantidades booleanas gerais possiveis (que, no caso, se resumem a A= Qe A= 1). A forma mais simples de o fazer é rocorrer a tabelns de verdade. Por outro Indo, para as igualdacies duais basta provar uma delas. + ud. a Tabela 3.6, Tabela 3.6: Varias tabelas de verdade que mostram, por indugio completa, as igualdades do Exercicio 8.4 8.5 Prove, por inducdo completa, que AB +AC + BC = AB +AC (teorema {do consenso). Resolugao: Tal como no exercicio anterior, vamos recorrer a tabelas de ver- dade para provar, por indugao completa, 0 teorema do consenso. + ud. a Tabela 3.7 ‘Tabela 3.7: ‘Teorema do consenso provado por inducio completa a8 c [as | &c| ec] ap+Aceec | AB+AC] oo ofolofo ° o | 11 e0olojolo o 0 ri oliajolo L 1} 3.6 Através de manipulagées algébricas, ¢ utilizando os axiomas ¢ os teoremas da dlgebra de Boole binéria que conhece, verifique as seguintes igualdades: a) (A+B+AB)(A+B)AB=0, b) 4BD+D2)+(A+DA0) c) [((B+C)A|+ (CD) Resolucao: a) Temos: 6 a)