LOGICA E ALGEBRA DE BOOLE Diecentemente do textos convenconas, ste ro adota a estratéga de ons ‘nar através do exemplos, com a ulzagio da um instrumental gic que fat a © enlencimento © nodelagem oe sistemas rean O uso So lustegaes ome meio de exposgao proporciona, ness taxt, bases sopuras para gone. talzaies © pra opp conesrera «desenverent ges Pao Ainvodugio & Légica e Algebra de Bocl vss mostrar um exempla de mode lomatemtice de numeras eimporante apioagses em dferntesrames da vase humana somo sleténic, computa outen, © two cautou de interes pecuisa od Por isso, sua forma agradaval de apresentaro contaudo program. \vez de uma abordagam enintadn para 0 conhecinonto da Matomaten por bse, o aor opto pela aeseniagso de um setame sgn Que repre Serlou importante pasko so desonvoWimenta da eletonica, computarao, pneumatese ours apicagdes que envovem ata Passa Operacona =speriécia de magistirio do ate. NOTA SOBRE O AUTOR 3b Daghlan @ Sceniado em Matamita pela Faculade do Ficsoi, encas © Letras da Fundacto Santo Ano, onde cand Algebra. Fs pro fessor de Algebra Boolean na Facade de ilosofa, lances @ eta Pre Carlos Pasquini’ E ror da Urivrsdade etota de 60 Pavio(UMESP) fess lga enc nk dhe ems avalar apoio apucagio Uva para as dscipinas LOGICA MATEMATICA @ INTRODUGAO A LOGICA dos cursos de Matomdica (acharlado)e Teenlogia de Procesca mento de Dados. Testo complomectar para @atscpina CIRGUITOS LOG! OSE ORGANIZAGAO DE COMPUTADORES 30 curso do Cisncas da a publicagéo atlas 1 vwscoradas.com br JACOB DAGHLIAN ALGEBRA de BOOLE| JACOB DAGHLIAN LOGICA E ALGEBRA DE BOOLE EDITORA ATLAS S.A. - 20082. 1982 188 3.9, Dado Inna de Canoga Pubiago (CP) (Gara rast evo, Sra ian ek, 85 ght Mein Bsus Dan $02 eng ~ 1. Alrabokas2 pe nbn temics Th Ince para cag nemo {T0005 05 DET RESERVADOS raids pol ide guar toma ee pa quae hai dare our as 92o10 99 Cas (13e s0e Pao Sy ‘ais 67944 aN) Agradecimentos Antonio Angelo Fratoni (Desenhos do Capitulo 14) Vania Linds Domingues (Datitogafia do Capitulo 14) A Carlos Alberto Garcia Calil « Rubener da Siva Freitas Mestre © amigos eujo entusiasmo & incentivo me conduziram ao Magistério memoriam)Peta ajuda de dos sibios: maus pais, Lean Hripsimd Pela incantvo de minha espesa: Hulda Pola carinhotspresenca de mous filhos: Leon e Ricardo Peloe meus irmoe: Carlos, Luis © Cai Pela opartunidade de realizar este trabalho Elevo 0 pensamento om gratdio 8 DEUS.Sumario refi, 13 Apresetao, 1S 1 SISTEMAS DICOTOMICOS, 17 Intro, 17 Incerruptores, 18 Connie, 23 18 Proponiges, 26 1A. Pincipos fundamentals tgca mates, 27 142 Tabetvendad,28 Be 2 OPERAGOES LOGICAS SOBRE PROPOSICOES, 31 21 Newato (32 22° Conjunto) 32 23. Dislngio scsi ov soma les (1), 32 24 Dajungo exsnna (33, 25 Condigocal (—~).34 26 Blcondional (2), 3510 3 ‘CONSTRUGAO DA TABELA-VERDADE, 39 Execs 42 4 RELAGOES DE tMPLICATAO E DE EQUIVALENCIA, 46 41 Detakees, 46 $2 Reap de impleago, 47 83 Renplo de gulls, 47 455 Equals note, 38 45 Props, 51 Exeeisie, 51 5 ARGUMENTO VALIDO, $4 51. Detngo, 54 52 Regas de mfr, 56 Brereton $8 6 ‘Técatcas DEDUTIVAS, 62 61 Pow duets, 62 62 Prov condiconal, 65 3 Pom biconical, 67 4 Rov nde ou por edu ao shed, 68 (63 _Proainsreta fora condinal, 70 Exercicon, 7 a FLUXOGRAMAS,77 Bxeriin, 85 8 ‘QUANTIFICADORES, #9 81 Sentenga bert, 39 82 Quntiiador aie, 90 83 Quantfeadr entail, 91 8 Valves logics de serene quand, 93, 85 _Newno de sntengasquntinas, 95 Brewis, 96 9 INTRODUGAO A ALGEBRA DE BOOLE, 97 84 Operador bilo, 9.2 Propedades dar operas, 97 9.3. Sstemaslgericos, 108, Eerscor, 114 10 FUNCOES BOOLEANAS,117 xeric, 120 lL [REPRESENTAGAO DAS FUNGOES BOOLEANAS, 122, 1.1 Diagramas de Venn ou foto de Er, 122 112 Tabelsverdade, 123 113 Reprsentgéo pone, 124 Bamrafoin, 123, a12 FORMAS NORMAIS, 151 122. orm normal an asises13t 122 Forma nora djunti, 131 123 Forma normal nant, 133 124 Bunge forma bind, 134 125 ungoes ma forms decal, 135 xereios, 137 13 -MINIMIZAGO DE FUNGDES, 139 131 Método algeria, 139 132 Mitodo Jo Mapa de Karaauh, 140 133 Método de Quine MeCusey, 148 xeric, 152 “4 PORTAS LOGICAS, 158 ior, 166 Prefacio + linos 10 anor vin prensa um auerento sim precedente p= co oe Matures, prtivarmente de Alera, no entendimant eohiglo Jot problemos dis Canc ca Corpus Este agtves, cad ermal eo (de itormacte. Aleta aplade& comput vor endo paltnaente ‘odinda nor cure du ecole de 293 ras foresees. £, pl, cm grande sitar qv aprvntamot so itor xe ceed to tho do oly lae0b Dagan Tratese ce um re que sug como fut 30 Imre taba de peau Bbc shee « da expen do mai ven ‘ade plo autor no emma de ips cujsconeddo abvangen et texts. € sabdo qu os enudanes so mas Hiei ut contac a cate ‘aval arence wns tcc paver tendo 3 perro interne oF metoces ‘natemdticr #80 apeanador de mans puamente ast, sam apleroepr- {eae Corsclent,o autor aot 9 até Ge eins eexemplo noo nerumenta! gic para entenimentoe modeage dessa ei Ut‘ loroginefamlre come ma de exposes, por cet, ofrecer’ am pars geralzaen 0 prio conecineno © deanolvinente 33 Lopes Devens ea ro ae oo dorama sb gen rnd chi Shrotunder os naupneine conter mentor eco o Mattes Pua ‘Com ste teto8 © so rota um uot claro e emprani! desing oor cuts inosutanos Ages Aca 4 Computoa que et 13“ Congratusrn-not com 9 Pra. Jacob Osphlian «com a Edtore Atle ple publieapd, surance a coninasio de empreendmenice Snares, ‘oP, abril de 1086 PROF, GILBERTO OE ANDRADE MARTINS Apresentacdo 0 presente texto oriinotn dis noes de ule do curso que mina slguns anos s anos do curs de Metertes oo Facldade de Flat il {late Lato Fundaro Santo And Ao red, come prime rae, rare ‘not ointereia de eng aot aso alunos um texto qo conte ponte Dini de nso cro ue speasa« receded, Pesta prime bare dot todos, de wos eatangaos te ies cara dont Outta omer trporan- ‘ue os lev sete abaho # nor nt mated neo oproremento "prenmago de un some agsico que repeat importers Paton Catenin db eetie,compurseio, peumdtca «cua epiagbs Que fnvolven att Pesquta Operas. Sua prsenga€ marcnte nor ergs de tomatoe, longo snplifensex com seis dures de usta endo {igo orga a matozos gue open grande seanaa de erage e pote Nad apretentimos de ois em alguns, incoreemos na ngingam taratristca oe queso merrar coma 00 Alin Boni, Ge aadea ree Fite ainda o 6 Caged de Anes Filho, ao dexando ce mencionsrs marcane infidoca de aun orto citador na ogi Asradecroso oi dos cls, bem como a tess esi, ed of eros meter de noes nti espana, En pclae { Pot. Jost Oto Moree Campos incenv eengunho pares concetito Aes aban Fialzndo,presamos nosa homenger aot profesor qu de 0 J im da Inn's paricoarm de nossa ormari, dicate Inve pars ‘la emis, tan sterner else ara bedi ie nfs Primo. ‘Aeadomia e Comirci "Horii atingk” — a — SP 18‘Ginko Esta de Jd — J — Cato S40 Noraro~ aaa SP Clontto sol Preparative Cates do Exit ~ So Palo SP Ecole Preprtvia de Cates do Extrcho Porto Alege ~ RS Soper ‘adem Militar da Aguas Nagas — Ronde — Ra Faculdade de Fiona, Chen # Leite Funda Santo André — Sato ‘rgenizaio Sonamarese de Eaucaezo e Cultura ~ OSEC ~ So Paulo ~ SP (Expects) Ponca Unvednde Cates de So Paulo = PUC ~ SS Paso ~ P TPs rotunda) Instat Metdsta de Emsno Supetir ~ IMS ~ Sdo Bernardo do Cam po SP (Martado am Adria] Sto Paulo, 1906 JACOB DAGHLIAN, 16 1 Sistemas Dicot6émicos 1.1 InTRODUGAO (0 mundo em qu vives apres situates com dis estas cent, cue uuarmente se eclery agua suis abelros ose a 7 ° Sm Prete — _ Hs siuaeSes come morn « ido, deentsstnaiades de veel ee. que ose areca come eitamente atoms, cu si, com dos artaor ‘hana bor Seto | Lies comseou 2 desenoleras com Arzaes (288:322 Ceo an tice fico gogo pean ner at cues venta rund naz ‘eos grande ala em toda» Matemstien Por volta de 1606, Gottied Wien USini 16464171) uso om wie tabot o que cbamou exauurotiatr ‘ou lagen mothanatce oo ogizncs Ere lsum nance foram Wore Dor (Sint pore seu esieswaten ie de Liga Matomstien No séeulo XVI, Leonhard Euler (1707-1789 nada epeertacso Son Wenn (28881993), € 1, Ver em 1962 th Rarnaugh am 1085. £m 1949, Augunut OaMorgn (1808-1871) putea um watao Forms! ogc an 718 so 3 Matai, aun env outras eos eacovu, “A Motamtn compel {roots mene: um excess etudo da Mates inapacts mente pao frergias ques hlsaia wid raquarem." George Bool |TBTS 16g els Smita 2 OrMloran intereszouse plo dibae ents» howto e 9 matamsie, tserevendo The mathematic nats of fg (1888) em dete We eae ‘es tarde pubiou um lwo ote Altra de Bao camado An et Fie lus of thought (BEA som BSB ticteves Fens on cif eg fins no al sat 0 metodo simeizo geal 0 ablho do George Bot fo {erliade por Lewis Cal (196), Wstehead (1), Hung (1004 198), Shee (1912) e outon. Ese peodo de deervaviment do Liges eulmnod am pubieaeio do Pinole mathematic pe Aes Nort toad 166 967) © Bervand Rusll (18721970, que rprvatou ane. as prs ommplear 0 prom serio por Lt, ue vars a un tae loge baa [A Algebra de Boat, enbors exiting Mma e km anos, a eve us ‘ue tiizato prven até 107, quando fl fits = prime scr & ane Ge esests de rele 9" A. Noah, que no os ber aueedda, pots ao ines e devevohie + tora existent onto denver # Als Beoloana pos ‘orenton propre. Em 1838 Clade Shannan mston om oe tse de esr {0 no Depurtamonto de Engenharia Eitica do WaT sachets iste of Teonnaogy « pleaco do Algnre de Basle ma nai ge eeuton de tele (© asso deste uso, sins que stamina, vita mosvar as aplcagties do ‘Alger de Bole ou Alger Logs no sono praceaimento atomic Sos. Icompuratol como mbar na sutomstiaeso de pause rh esinte ‘tessa oe eora sled aos foe 12 INTERRUPTORES: Chamsmosinterrptor ao dipritv lgdo 3 um gente de um cieuito siege, que pode amir um ds do extadon. aca 1 ouaberto (0), Qua {oabertonenuma carente pode pas peo pone, ee —_— sberto or conven, epetentveros ot interrupters da seguinte mans Neste cate, somanteeanheceremos estado do intsuptor se termos& nd ‘eto de ques” 1 ous ~ 0. Conmecando wo estas dum inert, pose. femos denotar tambon pc # quater out ineoptor ve apesente ores ‘stad dea to abet quando a rd aberta fecha quand sed fchnde Um interrupter sero gud a fchad fechado quando ests ‘ro cramase complement insea hgeel dea; e denote 008° Salm 2 © doi iteraptoeligados em pari, Numa Vang en pase a,b pas ores se pelo eno am de ntroptores evr esha, it grata o esa | Devotrenor geo Ge dot interptoreto eb em pre at, ‘Sejum 4 eb dos iteruptre gndos om sin. Num lio em ste xb par corrente se abot os intruptres eter fechas ia 8 seb Denotarmos a igeeo de dls intruptore 3 bem see por b ou sree. iment ab Eko ‘Ati, considrando os estos posts dsm stumidos pelos intorupto- ‘esa lige em sre wom paral, podemos note ue o+o-0 Orie toss tered atosbee sions “Todas estas equnebes podem st veientdeenhandoseo ccuto sre brio. As Teco de — 19sore agdvces dor ciruitor desea: fo 2 (b 4.02 ia B+ +, sepectiamente. Os Grutor ett ambos, » : Srtos = 0 ou = 0 ani anbee Wonders Teles Teuee iy » " too, st ies ise Ent i , sr (bselo fe bstarel | a , As nabs | EXERCICIOS H , = 10 ’ , ee ee . ; 21 eee 81-0, reactor, Os ea do aor Soe orp ene a coset nce ne suas ligagies slo iguais. EntBo: » bOra stent tovet ‘Vejamos alguns exemplos. a ) 19 Exempla: , ‘Determinar a figagdo do sequinte cireuito: = . : , : > ° = > sone: 0 fase) ett ) > 2 Exemplo: a 2 Onno rata sis: , o pcte'reral ) a : » Sota: ° aa) ) 20 ee ,2, Dever oct cj ices so dad pola express ai priate) bmeie Simintpta a eyeoera, 8 bee) fipsaiewpeah Beara er MGsb- 0" Web ey aoe Bplacten ered tlaeph ot ” “Aangéo: 0 leo oo dee paser is pias suns sm que ss Pertelterte caps 8 desmbaeado nos do tos de exe. tor dor sages cima Tete de nove, mavando 0 ter pot oseroncomesos 1.3 CONJUNTOS Siam a, eonunton de ontos tds num esac da. Naf ura abino, ngilo« ono upg a guerra oo Sonu . Denotaremot por ¢ +b ocaunt de todo of pontor ave pertancem 8 ao ‘ovum sau 3590 corte bow ambos. Dramas ut a" 8 a unio deo CO conunte se ponte camans a aos, to & ue peencam a3 «by rk sotada por a" Dizenos que” Bes inanceo eae, ave pode dno: {Sas amt por ab Shia. 0 conjuta de todos os ponos do expato comsidrado que nope tercem a. Dizemos ques’ tacamplment es, Chamaremos corjuno ve0 ¢ denotatemos por 0 0 eanunto que no ontim panto canotremorpar 1 oesnunto Ge todos os ont que € cnt CEE. 23EXERCICIOS 1, esr ot igri Euler Venn pare mostrar ap Dew eprdepa Siro Sh ipraee fbralr 2, Der aoranses coespondantes 2s counts hachrado: @@® 2. Undo cro de Euler, ose aut: 14 PROPOSIGOES Chenamos conto primitne aqule conto ave ssitanos vm defi to, Endrarmon me ao 9 conesto de propa, potato, nS 0 det freon Ena, nade iad ain cones fot suds, brand ‘Qo propoto f una satan Sear, afmatia que dee expr um ferment de sna completa, posend set eit na fore smb 04 8 Tinguagem un Et, 0 popes aw eet wvi2 0 Vipeg=1 biprca ‘ol want Bc o Vipsa-o 25 CONDICIONAL (—+) © condiional de dus proposes pe & uma propos fala quando Vol = 1'e Via) = 0, send verdaeira nos demas aos. epresencase 0 cond ‘Sonal dep #q por p—> qe bse: "sp eno”. Aproposiop &chamada om ‘meno 3 propos a consainnw do colon. (© valor tain do coniional de uss propose & dtrido pela able [ol 0 o on Viea)=0 26 BICONDICIONAL (>) © biconteona! de dua proposes» « @& ums propotsfo verde ‘quando Vip) = Vial ala quando Vip) # Va). Dsotrerns o beondiona Be gp0r pga se: "pae zante 1, Convam nota gue a bicondiiona "No uma operatio origina. mas dpi pian do eonectv | (© aor lgco do icondiclona de dus propose 6 dtndo ple tbe 0 © 1) p:VE bum aimeroiraconst ——«) aye>t a Voraet bi pvBez o vst a Viperaieo Deters de mania breve» order de pestis cprager etd, ave 8 epi ” Deer sr obsrvada oie at a * ied terms propos comport, confrme manvamor Big36 Asin, p= 9 +4 fxm biondiona2 propio p ra'—+a +r 4 da foma coniconal 3b pase que, p= (a) —» @ ) & compen por ailur fio, Porant, » coves eolocaio departs, quando fr eo, ge exam ‘oor. EXERCICIOS 1. Sejm ae proposes p: Joo jog futbol «4: Ja8o op ni scree na tn usp uals sequins proposes: seta bere pea apa oy Berar 2. Onc a propo Maria on ‘9m smb a sous proposes 21 Mara én e lgie 1) Mara bonita, mas olga ©) No verdade que Maris no 6 bonita ou elegant {9 tana bonita aloe 1) Mara € bonita cu no # bonita apa 11 Etta qu Maria nfo sorts ou qu no elegant Maria lepine, erro ing Csicar a propos comport abso, com conjunc, duno, com ‘4ciona, Beondionl ou nes. ship at Dipsteret eae dipra—" © ibrar sters! Dipra—ied 2) o—tar as pea 3 peern— Doral 4, Determiner ilo gin cada una da sequins proposes: 0342-7 « Se5H10 1) wna = Oe ener =. ©) 82 ou seno0®> te, 1) we -11<0 onto send0? = 1 Sapte, esas. 0) t= Tw esorante ene =O. No verdad que 124 um ame inp. Disiadenargesy 1 lan 0? =O ou coro? 1. 65 atando que Vip) = 1 « Ve propose: apd bese apea apee sete Spi a) Steinar 0 valor geo de ead uma 16, Detwrmina Vp) em eae um dos sepia aos, bend que: 1 Vial=0 © Vip-@)~0, Bi Viah=0 * Vineal=o. 1 Vig)=0 @ Vip—ral=0. 4) Vig)=0 «© Vip—al= 1 f)Via)=1 @ Vipeva) =0, 1 Vig=0 Vipwele 1. tari Vip) eV) en cada um dos equines cao, sabend que 2) Vip—ra)=1 # Vip-ab=0 B)Vip—a)=1 « Viptal=o. 2 Viprra=1 6 Vip-ab=t QVip-ra)=0 & Virsa) 1 ® 5 qu vlore gine de pgs tem Vip g)= Vlp—+ a? 8 Se Viph= Vial = 1 Ve) = Vis) =O, detrminr oles légeos ae gi ‘ws proposes ager 2) felon Olea 2 (ge tere ar 9) peat @—pt paws) 37 ) ) » » ) )Ula tne aor Ne ea kasi) Dae D ib'vtq-atee ay Dds Ip—= a) mi lpia a Dewrminar of valores igios_da proposes abc, juifiando oF aon om ‘ue 0 doe for nao 2) 9 —> lat, saben ae Vin 8) pa) lap bend ae Vil = 0 6) pele —= (r= sabndo qe Vip} = 4) p— 1g), saben que Vil = 1) (0'+)—+(q—>s), sbendo que Via) = 0 4 p> ha sabando que Vi = 1 6] PW $a sabendo ae Ve = 1 1 [pq =r, bande ave Vid = 1 lp @) pl—> py satendo que Vo) = 0 il p= (a th abenso que Vig)" 09 Vir = 1 3 Construcdo da Tabela-verdade Para sz consi» tablaverdade de uma propose compost dada, proce | Gatarinee ome de es da abele verdad cues que ont: 1b) abservase prcadincis ene ox casei, st determines fo aes proposes ae ccarem no probe ©) Uliano iis sopra ics gue o problema ex. Vejomossiguns exer: 1 Exempt Constr a belverdade de propscso: Pa) = a suo: be] ° ° Congerando linha ds bela weread, to i} =0 panier00.05.10,10)= 101. © conjunto V = {00.01,10,17) 40 conunto de todos 0 valores poutls «sorem asumios pels ropaicte components Ge ipa , corierando aie {cath mato de V coreapange ume oman um doe vale d (0.1), ie Pina):v —* (04), (1 tj, 2 tableware de Pipa) uma episode V em {0,1} O mesmo se db am propsioe composes po un Mare male de proposes components. 22 example Connie a ablated propa: Pina) = (0-9) +a pl Sol! oe [ralea [ase] wow ata (ofc |eaom (ease aa 3 7 of r}o]}s fo 1 1 rfofols]o 1 1 strtrto}s o o oor = Pron=1 Pro) =1 PL) «0, ou Proo.0.10,10)= 1110. Enid, determina P(00,01,10,11) const em consul a abla edad para props dda responce ne forms ndeade no exemplar dado HH ouvos mitodos pare conrruo de tabelarverdae, pork ns testa: 40 gremos no métado utiado nrexeroie doe 9 Exemle Constr 3wbelaverase d propio Pingel =pt are Sate: ofofeli| a] o ° ofolsfo} a] o 1 Ol tloii) 1 ia 1 ofrfrfolo |] o 1 tfofola]a]o ° rfolrfo} so ° ola) a lea 1 statifol so ° No cso dows prposgses componente, enor (000) =0 ro =o toon) = Prion =o ooh Paol=1 Pom PUtt=0, 0 (00,001,010011,100,10,110.11) = 01110010 Fazendo V = {000,001 010011,100,101,110111), eu sa, V #0 onium ‘oe todos ob valores poses de sere ssmidos ple proponiget compere ‘ee Pipa, meclaneacoeinioandiogo ao eno de Ppa), mos Plog: V— (0. nto, tbelaverdade de Pipa 6a apa de Vem {0.1} 4° Example: Cons bela verdad propio: Plossl =!9>—v4) far) 90. a42 Sogo: Pa Le me] [pw ima aed | a ead sie ofa cereale T ofofalrfafa] a 1 ofsfolrfolr| o 1 OOo aa) 4 1 rfolololrfo| o 1 rfofrjofa}r| o 1 s[rfo]sfojo| o 1 statatatadet 1 Nese cso, ta: {000 = Por) = Ptxo) = Prov) =P(100)=P(101/=PL120)-P403H) =, % 4000 001 010,013,100,101,110,111)= 111111 Cuando 0 valor légico de ume propio compost for sempre» verdad (1), eusque que sj valores gins das propodtes Component, temok tena tautlogia. uso 0 vlorlgien de ums propose compost or sempre fatiade (0), wemes ume cone. , fen, quando a tabelvrcade de tua propose composts ozorem os valores OT twmos uma canting Inserrineio. EXERCICIOS 1. Constr as belaverdae da propose seuites 8) pa bar epra—prg ap (=o) 8b —al—org Namen. 8 eval —vatp Npeval—pre Nper—aer Bp—ieraer Np—ip—=rhesaer mp ta—on ti eeaert Dewrinar 00.0110, em ead um don equine ac: 2) Po.) = (p's BIPinal =e tgp Fina) = Ipa)- tp" 41 Pipa) = (0 a+ = 1 Pin.) = lp 2a) ie {4 Detwina P(000001,010.011,10,101.110.111) am end un dor sau 2 Plows =9: b)Aipasl =p ga por ©) Pinas stay tp =) 4, Detrminar P(101 em cad um os spun aos 1 Ploasd=p'+(a-r 2) Pa =Io trl -fa 1 2) Pipas)= (= (pea -(r+ip- al" 41 P.an =(+(q—=rIl* (otro 5. Sabendo que Vip) = Vil = 1 Vi = Visl= 0, detemiar 0 valor gio de Mprarrees 2) oa) —> ee) patra Si praie elspa 6: Sabando que os valores lens dt proponeen,g# o, epectiament, 11,060 determina ovals lic de ad ua ds propor 8) p—ara—p Sera = wear op) lo dbo 7. Diz quas proposes que site 8 bear verde bain: "Plel?] —ey7] ef[ey7 ofele efoto ofele of ijo ofrfo ofafa rfols rfofa sfofs ata rtife r[ifoapts ape Ae—a Bera Bio—a Bap cee cee cpa Dap Dea Dipg Esnenhume dls, Enerhumadelat, Ecnanhuma dle, 1. Deteminw proposes compost or conjunsio que stisfanem a cada uma de abe ete nen efalalelel[ele ofo[s{rfofofa ofr}rfofrfolo rfofrjofafats vfafololrfo]s 2, Deen propo comport por duno que satifarum a cad uma ae aban verdage nce efalalslel le ofolt|+feolols o|r|rjolrjofo vfolrfofrfrfa rr fofolsfolr 10, Deemina a proposicer campers por condinal que sattazam 2 cada me tubala verde ned Pfalalelelole ofets|+folofs ofs|rjolrjofo rfolsjofafasa rfrfofofsjols 11. Determinar qua das soquies proposer sto tautology, contrast ou ceontngici: sea) Bete @—@ 2) p—(@—lq—=p) aio —a—p Spsq—p—a) dese —b—a) hp Wadler Np-a—ipate) Ga) 45 > ) ) >4 Relacdes de Implicacéo e de Equivaléncia © estado di lee de plea ¢ de euler, de ands import ‘aa Lgl sert eto de mania unt como conv 2 psi sda, Ants, port defiriemor slit conesitornvodtroe. 4.1 DEFINIGOES. 11 Dust propos sto las inependotes quando, em su abel verde, ccrrem ac quate tera. Exemoe: 1) Dizamos que dus proposes so depends quando, mst abelaver «eum odmaislterativa no oct xomol: sierntva 10 Nese cso, ditamot que ext uma alg env ropa 96 d—* Examinaremos aslo smaes (quando une stent Mo oars «357 ees cup quando oss lumativar no orem 42 RELAGAO DE IMPLICAGAO Dinas que uma propose male uma proposico g quando, em ait Intavverdas, io acre 10 ress ode Nowe: —=> 4 Obsereso important: "No confunrofsinbolot —> « —, pos, enauntoo primer re ‘resents ume operat enve propos anda ge nove Br postio, © mind, indica spenas wna telefoenve dat proposes ‘acs. Example: Vertes p—> a—+p, Sop: Comarando a tabasverdadep © —+ primes quedo oxo 10 {ves ordomi} numa mean aha. Porto: p—> @—= 43 RELAGAO DE EQUIVALENCIA Diss que uns propotiso p& equivalents aun propio a ganda, sus tablet verdad, nb ocorem 10 nm OF arsees Evan: Vater #9 @=> (0+ Sotto wear] Comparando a elsverdae de p~ @ 0 (p"¢ a. verifies ave lo eae Oman O1 rr mena is Ponano, p= QP (p+ a De manera prin, vere se que cuss proposes dc So squivlntes ‘Suan sts abel verdad orem gus 4.4 EQUIVALENCIAS NOTAVEIS Duptanegelo: (69>. ee] or Leis idempotete: prpempe, Spree. Laie comuatvas Dpres—ate. pracparp. 1) Verte com exerci. ais soitva a) plat pirate Dora Dials » [ppepeler [erat [ora] ease of ofo| o a) | 8 ofofr} 1 1 ° ofr fo} t 1 1 ofafafa 1 1 rfojo] o 1 1 sfo}rl a 1 1 afafola 1 1 ttafafs . 1 1) Vertes como exec. Le de De Moran: 1) pra po +4 Diptarombea ” ele] eee eel ow efettls| jm] ol p ofrfafo] |} | o | a sfofol+] fl} o | fy s{sfofo] lof | + |} ba ) Vater come exercia1 p- (a+) =D (0-9) Hor biptlarr) ==> ipa 1) Verifier come excel, Bicondcio: 9 <=> (p—+ oa aw Essa] 1) —F" (eonrapoiti Ireiproes do condcins) rectpoce do convapatvel estas tabla trames 2 sequins aul nob oa Pig Ge el, 45 PROPRIEDADES 1 A condifo neces «sucionte para que p =P a & ue © condconl pau tuto Demonsvaeo: A condo & necesiris:ip —> a) —+ (p+. Sp —=> «no core 10, ogo condor p —+ uma tule: Acondifodsuticene:(p—"+q) —+ (9 => ah Se ps g, nfo acorn am sua tablaverdde «aerate 10; lop, p> cal 1 A condigio neces © sleeps que ==> @6auep + a wise ‘avtlon among asioge nari, EXERCICIOS 1. Die w ene a soins proposeSes ht-implcaio ou sulin quando tomads 05 pares bop dpa aaep vere slampo—a ba-o-ap 552 verte meant tabelae-ardde a squint equals a tee Pore Dips ary Pe areee Gogepreeeb ee Brae taser Dprgteae ete pertas—>D heteae—>e pore sepa areptac>e—ra pea" bee mal tp— pp —ate "pal area prea Docs a proposes aban, reer 2s proposes equivalents wand at uvelneis nots india, 1) Dunlap: (ora lan 1 Lis keporentes bao—a) eal oa tas oma: wore (eee fo a basen 4) tes dee Moran: war Miprale—9) arr Leis altos: wea pelea feral ores —al (ors) epee) pelias sh ea 6) Contrast pian! rar (ae 1 Condon polar bg—on rer 1 Bicondiciona: {ip +a) fa’ +p) ip: a) +r) (Ia) oar ”Argumento Valido 5.1 DEFINIGAD CChamese argument wlio tod sina de proposes. Be Baste REN, na qual emoreau a prem py, yy 0 verdadeirar scones eu tab € verdad etl que a eonjngio dsm primes implica tine, Pr Ba * Ba von Bo =P Poets nto, paza testa a aide ce um arouento, roca da egunt me 3 constr 2abloverdade de «Bs * Bs + 1 conta stubleverade depo © compara a taba 56 mesa lin ore 10 (net order io ha implcaio (=P) ¢ 9 argument & fh; sana mesa nhs ‘No cerrer 10, awa implcgdo >) « argument vide oseneco ‘A sec da propospie pode apresentar nae euler: Py Ui: Ba Bae Bme Bnet 54 19 Example: Tosa 2 valida do argamento:p-—+ 9.9.0 ‘Sot Temes: py:p—re Deveros verti na onde de dtirifo, psy =P pa nto oa a> 97 Procdendo conformer js abel, temoe 2] «[ora] [maa] o ofo} + fof» |e ofs] + [so] r]o) o fof—e—yr theta tsy a fs ‘Na inna a roms so verdad es coelut fa, Ne linn a remit es conld so wrdades, 1228 inn contd + deiio de valde sempre quest promi 80 verdaies a conclu deve se verdad, Oso 10 Parana, (20) oD ‘Soarpumantos fh © eitor dive tr nota na tabla 3 repaid col corampondents 8 iis propio dain. para evar que, na verifiago de ocorencia undo, puma mesma tna, dot alert 10, rose inera emer, vrs = impcato p—Pip—ralva emer de veri: aa ee guess forma comet, 5556 20 exemple “Tena vide do gener Sotto: Devemar veri mst cones d defn: ra pea. Consrindo a belav-erdade correspondents, tenes Plelefor[ora-rle ofofsfeo] o fo ofifafa for fa rfolols} o fo ttrfofs} o fa Neste argument, somente 2 2* nhs tem ambss apart verde, come’ anc stab ards nso orrre 10 Porat, (av) =a a fe trpumento tide 52. REGRASDE INFERENCIA ‘Asregas de nfrtnia sho arguments vido (simple Unio (U): E aimplierdo:p-g—> pa. ‘Modus Ponens (MP E siemplieaedo:ip—-@)« p= a PAE. € simocaforie—sa) “a Po! Adio (A 5. vimpliaio:e > 9+, Simpl (8): impacto: 99)“ q+] => pr ‘Stogimo Disiunto (80) PERE Ca impiacto:(o +p > Rega do Bicondcons (81 0 Sa E sinlet:to —9)-fa—+9] Poa. * oat BO Eeinoinrto: pg Ip 9) faa items Construt (0C: co aimlicaro: peal ¢—+ 8) fot) ae iema Dearute (0D! (ES rr site) meee ‘7Dupla Nepefo (ON: wy OE ov Bi. €aimplcnso: (61) Pp oup—> Reged Absorb (RAL FETE: Ee inotacto:» a> p—+ ipa ‘Simplicio iguntva (8): E simplcaio: [p01 [poe Pp EXERCICIOS 1, Testa avalide dor sguints arguments: doe tenth = 2. Dadorosconuntr de alae lens @le>lelo yfefrla ole (ee ofafala olijtolo us eles toma 0 sguint wgument vo? 2, Dado o argument ° ° rein | praia | conuifo 1 1 1 o ? 2 ‘4 dot connor de vrs ios Sbaix tora es argent vido? fae PET o) Te ilo afila]o | 4 Mecinte oui de eleva, tetera lide dos rents: ae Oa te brat! ©) tar malate De ega—eperaer Oar os ome ce cad um dot eit srpments (ctr —e lesa60 view ww" 8 weaietar ar ae eae wy trey (oy eal ope wore haw Droit D @—aseen ter im) r—ipah (ovary oh apie or etn wor 6 Completa cada um dos squint arguments vido aie fy ews ib ed aw —erse 66 Técnicas Dedutivas 6.1 PROVADIRETA Diese qut ums propose 9 ¢foraimente dedutve! (cosas) de certs proatiger sada prem) quando «somes quando for po or Imar ume qin epropouiie 5B Bs, Bq dt modo ue 1) pp donate 1 pra quar vor |= 1,2. nl jou uma da pri fu com cone de Un argument formed par se proposde ques recede na segue. lal | prope no cao dt foramen dutvel care tors ¢ 2 satin oats chars ron 0 emensveeo do eon 62 Vejamos sigan exe: 9 Exam Rig dar Demonseaeso Bima premise age premi ae Modus Pores, 162 5 Modus Ponens, 3 20 beample: Provar e+ dnd promi tera Rig ae Demonsraeo: hava te te e arse Josie ds pasar: a ‘ 6 X ousias eaNo indica do ers entree tliaadas na demonsvapbo de um 2 rams, MP 28 6 sii que 2 era Modus Pones fol apn ne a Propo- ‘bet den 36 6 da sq, 0 mito ocrando com at dae srg. Observe: 2) Qualqurtatologs ode a ineulds na sana apts qualquer propsicto Meclocat De ao, ja uma propose qualquer esta na eae «uma a too € eno ue orgumenio bilo, po 1) Sea for ums proprio i coloeada nt eqns «fr outa sentenga ta (queB >a, ende, senda ae podesecoacaB. De tt, sno f => a, tae + Lop, BED apo earns ria por er uma tutti. Mas, 22. Logo, «Bode na sequins por ona. Ma, 2. Logo, a Bode sein, fnslment, pode exsreve Ble rertdo Mods Pont 3 Example Prova x= 0 daas as spun remiss: 1x FO entbo.xey ce Iniimans, or rns de conven, peeos at proponent was forma smn, Nos probama redunrzo 30 gine Ree Demonte hae ° zee > ra tir.203 5 Mrted ea N.S: 4° bxanpt: Prove de premiae: amr Demons ame ° ae ° Sr oN, he wr, aur wr ea ons 62 PROVA CONDI Sia provr a» data praits ,3, ,--r Faando conju co on promis iu» Patna Ge mostrar qe € li 9 aumento BI— a5, io & sratiag To de vir ee argument, Qsorendo + 6valida, tno? —> feof) ou P E+ fa >). A tevagrage 7 sobre 0 Sinbad condiina ina water uma tutto Principio da Exporacio Foremost trina voenemorerainlnianstns9—2¢S=> een Ente mn pee eb PHD HH BD 4a)! pecs pc eh seb al op Port for ‘aitoge, mo te P'e > oaths for got! dt B= Somat tls props ese porate, P=—> ta —B Tandtte a ?.Deas contours got prom er ‘Sencar iano So uments ae crt tn forme conn oeerpnvowurie como poms mod inns pr pl desu 18 Crome: Provare—> dad os remiss: doe WP, 203 MTted Prov Candconl de 325 22 Example: Prove —> dads as promis: be pared Domenie: Lee ° Zeer » ater baa Be MT tea Barter De Moran, 2 Re 0,506 Bee Poas7 cad. 2 Example atime Zim ive o or estes ZiT vase Eni, 2 fern ne 8 igen one wi wry e8 mb So.3e%0 Rae roast cae. 63 PROVA BICONDICIONAL ‘prov de um argument cua conclu ¢ un propaga ds forms bcon Scional > 8 emthante rove condcina com a direnoa de ue 6a ‘2 chs partes tina. Enda, dda uma propesggo a +B primal prove tu ae, 2 sega, prove B > a conchindose pal sade SoProve ++ dasa promi: 2am Demonte: Zv—e ° 2am ° bee 0 inte Wr, 35 me 50,4070 ae Pe ray NP, 2050 mee we, 308) ve 6,86, 76 & bea Ute 1 ay avian, 9 164 PROVA INDIRETA OU POR REDUGAO AO ABSURDO COtervero,iniient, que de uma conrad pode deur usluer ropaiie, De foto, sje 8 conwadefo p ~ 9° @ a ums proposcio usu. Femor: Pepe [fe]: eo elie) a 8 ea Sis age provar a a prt dt prem Bs Pas sen se uechamaremoe?, Consideromos as prises P © a «procurmos Sn a # parti dle, ‘so 6, vemos se P+ et @ A propeiio a foraimenta deta dt Pra’ se Prana, isto 6,P* a a Mas Pea’ 2s ace p— (a! —+al (Principio ds Exportaefo) (re, 2 tina proporico consti uma tutlogi tacortr a equine impiate: Pomb le ra), ito 6, Pa ebay taebataeabe. Entfo, pare mostrar valdade de um arqurento por prov cu demons 2 indies, intvoauzse « negao de conclaso camo prema provi de hrs uma concave (por exemple: @* ah 1 Exempe: zee 3 oa Demons: Lee ° zee > 20-9 ° 5a MP. 206 6 psa De Mergen 3 za DNs. ae 50,607 aor Meee torr U.4e8 me Prova inieta e41070 Otsego: a meine foe como msontramas contrac r= pre row, oremor encontrar 2 contraife «para pronsp como vrei no exemple 2 gui Inte, «canrao prosurads pode envelvr ou nfo a mesma eta de ‘ropa ae promads 20 Example: Prova dd ss premix Ze aa Demons Lar ° Zor ° 3a ° or 0 5 BN, er P2258 he 50,166 aad Uaer on Paes 65 PROVAINDIRETADA FORMA CONDICIONAL Par prover vlad um argument cua concise forma condi ral (p=) mediante» demontagi Indra, usamos ip —v "camo prem 1 reveria (pp« sau (+a por ecuvalnc p=. ein dt .. Ne priten,comeranos pls pds (HI pel nga dt (1) C00 roms provi Oy 1 2 oth oa » 922 Ip a) Eula, n+ 1) neaee De Morgan, +2) nite, Sie) nse Sin0d Example: Prova + —+ a! das promis EXERCICIOS Zea aero 2. Proves de remiss: ae 2 Provart «dade pris 2 aeze ata rover + dad 4 rei Ria ger Prove + y= dada a reise: 1 Sety= 39 2 (Ses 3ety = TH) aye? Bye? ou ney Usiizen a demonstrate candiiona: Proves dat pram: Provar@'—* tla remiss har Live Bete are Ustizand «demons indies: Prowry=2—+-=y daar ae prema tenty—ex>y ou yx 2yeroux-? Bay ou yx? 2 hee Prova +m dade sprain: 2m Prova (+5 das promis arty 2itee ae stand a demonstra india do conden Prov p —* a dda promi: 1 tp—ealte Rene Ristew) Prova p—* 9 ads remiss: pare ae Provarp —+ + dade a promi: 1 p—raltierst 2¢ steno um mito dedutivo de sme: Prova p—* a dd promise are rover 1 dd premise:4 Leta Dime Steer oat Zeer rover 2x 12—+y = 6 daca rei: 4, 2434-28 2 in=6—ty 94) ov 2°12 3 tee 12—ve 6) ov Be ry #24 aaee \Verifiar, asians rear de inferig#valide dos agin ogumnen 2) rete tg Ds o.p— iw ss ws) chau eis Fah ode a ‘Na emanevarer sino, juin a paper indica ahe—a ° zea ° 3 weer . ove 5 Ba ae cat, nim ° Ree ° ar ° oe ” " see evs) —+e twa Wear Lpradsiarr es he Be Bray Barr 1 rere 2a wd) arse 63 cad sa > fae Bear »e ite waren cas, 7 Fluxogramas © texograma consul um métodoalenaive prea table verdade ‘wre de valida ge ur argumanto, ql ues rasta uliado, Neste mitodo, par veriteaelo da valde de um argumanto ou prove 1. considera a remiss verdad 2. aplicamse a defines dos onecivosIioe pare deteminar © ‘lor loco de concusa que devrd se a vrdoe ], pre ie @ “tqumento ws vl o roe provade; Cio ooram stages em que nfo poss determine 0 var t- coda concluso,owem que O 1 (contadel0ergumanto & alo. 0 tase devise de arumenos ou prov de toromas mediante 0 wo do ‘txogema pode we fet plo modo dete ou indieto,ebedeanda 8 partie ade cad on da hrs eda extuca, Velamos alguns exemple. 19 Example: Prova dada promis heeSoto 1 pat ot 2 aro 2 pot “ pro 6 m tus: 1. Conieramos at prota verdad fzendo p—r a= 14a°=1. 2. Como’ 1, pla eget tomer 3, Lmandoq= Oem p—> = tte» —> 0" 1 4. Pala defi de condsionalp-—> O= 1 we smente se p=. 5. Como p 0, tor p= 10 gue moses se ido o argument, pis premise verdad condizem sume concsto verdad 29 Example: “ental do argument: abate Sotto: 1 oer 2 -——_{_s-0 2 ot 4 be sitios 1. Considerar premise verdairs farendo a> b= to 2. Comoa"= 1, ea near, «= 0. 3. Lando a= Gama b= 1 eos: 0 b= 4 No podemos conti seb & verde ou fs, ois pla dtinieSo ‘4 condiionl,O—+ T= Te 0—> O= 1. Seb pode er vedaders 0 fal, entBo conus b pode tumbim sr verdad. a portant, 0 argument ah 2 Example Provar dada promi: zor Sots 1 peat poet et 1 2 =o 5 6 iia: 1. Conideremes as remiss verdes, fazendo p+q'= 2, Como= 1, por neg t=O. 83. Land r= Oompa = 1, wos: —> 0 1 4. Placido de contol 5 Farendo p= Ona promianp + 6. ela tino de esjresoO * srpiment lio2 Exam: Sogo: prapta.e 1 pet Sov . pean prant a {avo veo T 2 pot 4 fe a prey ‘ Tot T —_ 6 deo: 1. Conidremor a promis vedas fzendo 9 —eq= 16 (0'+ iia ot 1. Conideemos premisa verdbdirs, fared p+q= ep 4° 1 2. Pla nopieto, 9 +4 =0. 2 Pla tito dn dune, wep Fa" Teno p=} ova .Sa9= 53 Pla tng de duno, se +q~ Dent p= Oe @=0 1,0 arpumerto wd, pas prema verde evan 8 um 4 Como "=O, el near we nel verdad, 5. Levande p='Teq= Ons promis — a= ftom: —*0=1 3S, suetinindo na pramiaa += femorsp +1°=1 6 Pla crfinigfo de cndicanal 1» O= 0. Consierando a remiss 4 Plane, tomes: +01 verdad, chogamos 2 uma conrad, Prtant, o aumento & 5 ela tng de dung, p + O= 1 somente wp = 1. Poranto, 0 tae, lrgumento vido, ow promise versa iva 3 uma conc 6° Erample: 5° Example: Prov p!—> daar as premise “esa valida do argument: here (oer Sov: Come » concluso & deform condo! conieramoso antecedents vwrdosena«proararemos moras que 9 cmseqhete ardor. .5 6 tort dca: 1. Consideremos a prema eda fzendop +4" 189 —*"™ 2. Consremos vrddroo anacederte da conciuaf (remis xo isi 4 Levando p= Ora premise p+q= 1, tae O+q=1 5 Pla ilo dedijunta, 0+ 1 oments 0 4 = 1. Pala defiigdo de condicional, 1——> = 1 somente se = 1.Portanto, 2 conclude & verdad, p08 p= Vio ar Te 1— t= 1 No Conieramos spose de prea prov se fa, ps, Sep’ 0,sconchno p'—* rainwear, te 0 r= 79 Beam: Prova das os rei: Lora Zee Sota: 2 Os0=1 1. Comideramos remiss edad faxandop +a 10 9'—ea! 2. Comideremor» conc fala IepSo acolo) fazando p= 2. Lonndop= Oemp'—a'= .tmeer0"—n= 4 Pla nme, tema 1—> Pla datiniSo ce conional 1 —> = 1 tomar = 1 Pea roar, =O. Farendo p= 08 = Dem +91, temos:0+0* 1 Undo # prema provsiriap =O chee contradifoO += 1. Porto, p=0 6 ininads, anda acura pssblidade p= comeao a s [ee ‘ ut: 1 conser ces vedi ado 924° 1. —7= 2. Canteens conclai, eedo 9* 3 ftunsop=Oemp-asytmorl amt 4 banc Ge cieso ra" 1 somata Sharma 0. a no eerste povia p= 0, omen bconteio 3 —> = Forni» * 04 nina thando oure posing = ema ‘outa oP exam Por 9 —*1 ds pris: Beal sat: remot o moe into ovos 1. Consderemos 5 promis verdad 2. Consdaremos a concuo faa nea da cone) 4. Fela detnigio de condiionsp’—=r= O samen p= 18 =O. 4. Pla neue, tarp =, 5. Fazendor = Oema—>r= 1,temoriq—+0~1, 6. ols defig be condicanal q+ O* 1 vomente se @=0, 7. Subwitundo 9 = eq Owmp+4= 1, temar'0 +0. Usando » premises provide > ¢=, egos a uma conta fo 0 +0 1. Portanto,p'—> += 08 eliminady, ead soute osibildae pr = 1 camo solu, EXERCICIOS Tesora validade dos arqumentos bane, mediante 0 80 de fuxooremae 2) a—e.18.9 De—erpaa i ptaa—rie Glebe eb) e # perp gene8 orale ns tae 5. Agus! ds arpmantos ae giet—oneo #0002470 Se ee FO eT eee ee Sho cet se st do fuxograma,utzndo oF métotos eto # inde, que 2. More tooanto ie tem promis onestra pa wend z esa" ry ee 21 Mose avd do rogram, uns 1 modo to end, a 2 vere hme seins ap contr trap une pre di «cn r = Bont valerie t 4 Dadr on rgumertor abies corspandt 0 ULOAMS? pL a) pte Bh pit peat dh renhuma. edi) pag rag et 7 a = yao. ee 0 Bee I fecom) | vont ” prast I ang 6, Qua zope coreponde 20 pumento:p+4.9°1 9?» Goh ts he! = 8 preet 8 eannum des. 8 Quantificadores 8.1 SENTENGA ABERTA Som a proposiste: 9 +5611, Vip) @xt5e i, vigl=? A propane p como pada wr, 6 verdad, 20 pate aut nado pode ‘mot frmar sabre aor ign napropsiio Vi) quesomentesebeereeo { abers ou funelo proposcional. Nos sentenas abertss 0s simbais x, ¥. X & aril 0 conunt dt posbiidaes jee que pode subetiui ariel na sentence, Denlareros xe cjun ot UUPadselmena do U chamase volo vane U dr ess 6 tactamente in pono pelo contexte, mus pade tabi se exzanio plo ante de ested em ‘eso 10 exempt Shea seteng aber x +8 1 Podemos impor que o conluno univaso de vaiv! aM ov Z ou O.ou R 29 Example: Shia» sentnge aber: O planets “X" &o maior planta do Sona Sols © conju unveso de vari! X plo context, dado elo conuno dos ‘anetarconheridos do Stra Soa.oxy = Merino, Vérus, Tar, Marte, ptr, Satna, Urano, Netuno Pt CONJUNTO-VERDADE (ds sntnga 0 conlunto dos valores da varie por ov aut entenga # verdad, Denotremos es conju Po V V= feu lvobe = 1 onde pi) # una entenga share na wre 19 exemple: Dad enter bata x #5 1,6, determina eu conuntoverdade, Solus Vs KER 1x<8. 29 Exam: (© conhntowede de senteng bers: 0 planets" 0 maior planets do tuna Solar ve ite? 2 Gxanole Determina conynt-erdade ds sequins ean aberas: 2x86 13, Ua soled: ave (10) 4,321,087. 88) 82 QUANTIFICADOR UNIVERSAL tt oe au pe ton w mr dad enjrto,2ropseso Ps € eae {ine propo do "Par foo Pa” dmbatiament eptenh 90 pevnron ‘ proposgdo "Todo into drains” pode se reve: 1¥xx€2—x€0. 2. Pars todo x, went x€0. 2. Pura todo x se € Z eno xO. 5.¥x(eez—xeQ) 6. Ouolguer que sein, EZ — EO. 18 Example Eerevar de ance sinbéic 3 propose: of merot do conlunto A so todo rani Solu ls: beat Mabe Axe A) ‘AG = Rls) 20 Examole: ‘Simbolizar propos: ara todo x, 4x rel eto x £0, Solus Obi:xeo la: ea PIR) — Obs 3° Example: Web! 20 KER) 83 QUANTIFICADOR EXISTENCIAL, No cao de proposes que encom expresins do tio “xine”, “HE belo menos mn", "Para 20 menos um" € "Alum", ulremor 0 simbolo""3", ‘ama quatfcaor exsanc, pra expr oft de Que pe ou a ‘ementoe de wm dio conjunto 2 proposes Ps) & eda, Uns propos etpo “Exise um tl que Pn) pode eit simbaimante 3x, Pos). ‘As saps proposes tim mesmo Sind: ae xEN, Exit wm tal que XEN, ‘Algom némero natu. xia plo menos ur err nati.19 exempt: scree de anti smb a proposipo: Exit xt que? #1 #2 Sots Pode! #1625 a 29 Example: Simbolar props: Exe XE Ql que OS x1 Soto Pie O fb, 6,4.) © conju univers vel x nto, 5,70) > Pa) PI) = Pe + Pl sure ada por: (5 PO) <> la =P) Pll = al = Pala ide Dara, (x, Poa << (al 64a + e+ (HAN + SS vera 9394 (Pon aD Se IP ‘Vejoos agora qu equine da entang 3, Pl 3x, Pla) = Pla + Pi) + Pl) +P + sua naga dda por (Bx, Pa ==> [Pla +P) + PL) +a +. Pala ede DeMorge, (3x Poa" DP. «(We «Pla» SS va tai Portnt: (Pd ‘ejmes ann reno 1? Example: Near setangs: gun lor so etude Soweto: 3s Pooelunes so eutinos Eno: Exim shnot tution. 3x, 2 nm de seteng equiv (3, Poa" x, (Pa Todot of not nfo esto, 2 trample: ‘Nagr3 tantra: Todo o pescadore fo mentors Sotto: (x, Pla) => ax, (a Exit pecador qu no & manors, 3? Example: Negara setena: Vx = 135. Sotuto: (Pe 0128) Sab Bet 4° Beano: Nagar a sertoga: 3x2 =1—> a0 Sovet: GaP a1 ee tO Sab He 62 140! > Yelle eo SS VEE AY HOF SS le ie) Cbsrapfo: Neste exemple vamos» eualéncia noth: p—+ qm 5° Example: Noe a sntonga: (sna eae? 210 8x, 206 imp Sots (x sents ae 1) (2, 2b Imp) Se, wc or xe 4 (Se 2x 8 inp SS Lax sent conc +H, xb pa 6° Exampo: Nga a semtenga- x 3y, 3 + Sots: (eave aety tye tT 79 exemple: i ssantangas ay, (0201+ Uy #1 , EXERCICIOS 1. Dateminaroconunto-verdee das equines santana bert: aixtte7) | ,UeN baesers lus, QT 12=0 LUEN, aeaso Suen, Qeeaaco lunz 1 158 ¢2e-8=0 lU=R 9) +1120 UR 2. Esreve smbotcament at semen 19) <2, eno ent x tal que x <2, 1) Todo inguo€ um pogo. 6) Existex tl que primo ex és. 1 Existex ont y als qe? =. ©) Para todo x se XEN, onto x2. 1 Tose peligone regular convex iste. 3. Dadesaesetanarabertt pa): 15x! + 2x8 Oe tn) Se? #194 612 om U= R, determine or valore ligeas p+ ae 2 4 Deteminar ovale isco de ec uma da tenga: )¥eqielex UR, banxsset0 lu (1.2.3,6,8. 2) Maa +e +2" 0,028, O13 be-361-2e USK, fe) Bede t= 15) Us (1.2.3.4. F Gexd exe8 fue 0.2.3, 9) Gea eet [Us 02.8, Negi at eit stems: 2) Toes ot homens mau 1) existe peeador que do mentor Owen Hood 1 Exist ya que pare tao x, +27. 19) Para todo x sxe y tal ave 9-23 9 Introdugdo 4 Algebra de Boole 9.1 OPERADOR BINARIO Inictrerosnoso esto recoréndo algun concitotprimitvs deepal intrest ques: noo de conan, ment de um cnjunto eae de ‘bertinoce. Ati, dado um conjnto A= {,2t, daemon ue 1,263 eo oe. ‘ments de A eer conse, pertencem so onjuna A, Nese ego podemoe ene: TEA, ZEA, SE A, aur sel partes 4 cant Ae, ee Case teshamor um, elemento 4 que io perarce a0 conunto A, deta 0 ato leetendo 4, ques "4 nfo prance ao eonunta A” ‘Chamese operador binirio ou aperagSo bindria (x) «Iai pela qual todo por ordenado de elementos (x) la unten elmer 1. Noto: y=, Ot Sina aitmévas* =", +o exerpls de operadores binron. : 92 PROPRIEDADES DAS OPERAGOES 1. Set X um conn, Dizemot que X 6 fecha em ello a + x «| + YE K, Vx, ¥ EX. Por explo, comlerende o count Gy de tds one ‘upton a 2, BEC, entio,e*BEC, «2° BEC,, toda tbe a bao wm ‘en interrupter partencem 8 C,- do C1 0 eonknto de todos ox counts de pnt, ts, BE Ca, nto © +E; ¢4~ DE Cy, ste & suniowa Intrsato dea com 6 ota ble conjurtse,conegientnents pertancem # CySe tomaimos a canjunto C; de toda as propose, #489, BEC, nto, a bEC, 08 Ey, io 6 dads as propo Temossaguine ropsise (compost 1 +b Jofo et ov taba, 2 bdo exude abana, (0, meant abel verdad ae [eel eb] eae rfofa]o ol} 1 | o olojojo P2.O operator + écomutatio wx + yy +, YK.YEK 1 Example: $42,DE Cj ento,a tb=bs 2? Example: S93,DEC,,entl,a += b+aee- be b= a ino 6 2 Example Sea, bE Cento, a+b=b+ Podemot verifier eta propridade isnt a aalt-verde. a[e [lol eb [be hapa toyed Tol | i | oo | elif a] a] o]o elolo}lolol|o 3. Ditamos que © opurador + ¢ asia se x + (y #2) = Oe # YI WryteX 19 camp: 844, b,6€ Cy, onto, a+ (ore) =(a+b) tenes (be lela be wosa [ee [ore |ertre| are [arnive a Ce lel Tole a Cloye eo i ofrfrfa for fala Clues | tial ofo}r]+] a fo} a efofo{o] o Jo] o 2 Example: = Se, b,c Cento, a+ (d4e)=(arbl teva bse) =(a- ble, tnt aes [eee wales [ate el ate : a rfifo}o}] o fa] o tfofrto] o Jol a s[ojojo] o Jo} o eleva | 6 |u| ofrfolo] oe Jo} o . ‘e * G o}o/1}o] o jo] o cfojofo} o fo} o wie Tete oot = 2 PA, Um operador + iribuiastce Dae x (ye = xe yICV Ox #2), weyzex 19 Beano: Seb, C, emo, Hlateleastwrelntarbie » . e . (e-auisoe: wea 2° xan: ved Te tava ‘5e9,0, 86 Cy, etka, 4+ (0+) = (a+b) tenes We eater ble, : . : woe ° ae 100 weer ere 101Analogaent, a eee o Te [es [eee[ewralee [eel ero] C oF > tlafofa] oa fa do 1 Pr laeb)-tavel fiejet ej s ° ° a 5. Um lament 6, & um lament never pre operaco * w,«somente 1 Exam: - ‘S0i22€C),ent8o,0 +00 +a-208+ } eee erbhte 2 beam: Dados Cy,antio,a+0+0+a=300-1 2G), ano, + 1b ella b)=latelea: Ibe) la bl+ ‘(2 sto &, conv uindose a ubeavverdie corepondente sede, Te [emo lem adase | ore] area 7 7 7 1 1 ° ° eo @ 102 portints, 2+ (b= ch = (9+ BS (a +, ai, sus taser so gus 12p exon: ‘Dado weno, a Temerane. MACs 4 temes a isu inlava 0 sme ge fl, smente unde smbes os ponocetconedeada orem faa. Eno, dada ms pro pow a «Viol = 3, ve aeorae Par += + wot qut# cnjungto8 verdad, smant quando 8 opo- sites comporenesfrem verdadero, dasa ua propoicio a « Vi) = Five aeteewa EXERCICIOS 1. Sep 0 conunto © = (7, 1,0} atinmor dos operadores binis + « ult tats ebeio, ar ler rina te, po exerpo, 2 ineeseeo da oa corempondene a2 « coluna earespondent 98 ne 1 fodemse'eoakque dents simbolor Enti;O+ = T@OO To] fatto) TOL] [TTL ia TO} = (OTL ORS: [0] Ol} 1) Operators é comune? éasacatvo? 1) © opraar C1 comutative é acini? 1) Os epuradoes + Cleo dtibutios um em eae a0 sto? 2. Dados os operadores aiden +, -, «dz quis etre les fo oe fares binror eon Z Yt ex ines 1 Conidando ot operadores atmos #, “dus dene ses ‘So opeoresingro o eanjta WN dos nero ater ko Sie ob VFB onde BER. O pa = fea? cama Seance)» tbo ema» 8? debtor 104 Gone? essmiseumena naa? 5. Dados ot operadores +e Cetibutios um sobre eto, edu ou en solver a expanders gure modo 3 apreertar sob forma dierent a) asiv00. bade, 3h aes) 4/20 +teaan, ©) (@0a*@08) feebidtere 9.3 SISTEMAS ALGEBRICOS ‘Anus de esurmos 2 datinilo oe uma Alba de Boole wjamoso que & um sites silvia ou ura debra abt tabi chads simplemente de Sib CChamamos deta absrata ou site alpévig sum eonjunte no aio ‘muni de um ou mas opeadoes bas abe ele ctindos. Dnata por A ‘Sanja «por + «Cor operadores dfnidor bre A demas er Ae) eu (A.C so siyteas com um operadr ou ume operas, ¢ wo) 8 6a letra com dis operadores ow ds operas. Us spr pode sttne uma, 2 fod ou 3 nenbuma ds propre: es dos operadores, asmindo nomen price ata os ents co, como: sigue, monde, gro, al, corpo, eco vetral conform a propio Ger snttetanplooperador ou oprasve efi sobre um enjnto consie ‘ove. No tretremr dss cto rm ea cus, pre alt expel inte ‘ae of ema spgorcor hamados Alger de Boole, que fies qui. Dios auto stem lpic (8, +, ums Agere de Boole quando quando, be ©, valem o ama: 22. 90E8. emretery AS ator clnlasb- ate) 105AB. afoteh lab) s(a-eh (AT. YOEB tal que paracade 360,240" 0022 AB 3 1€Btalqepaacwase Bet ‘AO. Paecadnse8,39°CB late No axioms 9,0 sementoa” cham so comlemanto de Ua Alger de Bool 6 dita aepererade quando os elementos nuts ata ss operages unio #20 1 Coniearros apenas Sas nf (otic noe, Kinin de Boole nas qust Oo. Veumas uns exons, seep r= 01) bm Ate de Bosca so es et webs 7] [Te ope e ° eligi conten ie tert ice ‘mutase, a4 Gt ene ar Alas de Boole. €0 fundamento mates: ‘oo ds anil © proto dow crclton de itrraptoe ou de comutago aut omer ot Steet das 8, #0 exemplo mas simples de Alba de Boole aso deena 2 exempt: Be = (0,8, 1) €ume Alpers de Boole com quatro elementos dita “Teorame 1 ~ (Prisinia de Duda): Todo read dutivel do xmas dt lime Algebra de Boole parmanece lose rle roca. * p= 106 ge Prom Pala simwtia do detinicso de ume Algebra de Boole ene ot operadores ++ se 04 elomentor Oe I, tanto ot operadores come OI pode inte dor conduind # ovo reutador obs verdadero cad, 10 Example: Duala expresso:x: yitx’sys2ey +7 Solute Como s expresso no aprsata or vlrer 1, bara rcs ot sins por (evr Oeeyead tye) (quedo ct da expres dae (0b: 1. No howe qualquer mostcaSo as letra complamanads, ou ‘0, onde parca 2 continu Sendo. 9,2 2. dualdade tm grande smears com a leit de DeMorsen ‘8 veremos aint, erin apart pala obra 1, 22 Example: Daron cn expresio:x' += 0 Sonus: “Trocando na expe dad + por #0 por 3, em ue do resatado procure, Toorama2— a Veen, Prov ates tated a8 Satter) 29 Daaee as caso 39 107Stara staat Tonma— a+1=1,8-020,¥8e8. Wo slate sera Palo Pinto da Did, tee: Troma 4— (Leda Abra) (a+b) =a,2 (0+) =a a4(acbh = tae tte) = acise) Seon + a lide, tamer: aslosbiew rom astoeb) = (ate Carb) Diao sarees 108 eas, Beazer BBR (roblee = lesbian nao = Mle b)+e) ab Ulasdl oo a8 Sas ((eeb re) eter (ae) +a) M Mae (e bi (a> eh #1" (ab) +(e") a8 [ae (are) +ie'sa) +(e) +(e) Toor 4A sso (eB) +a) Teen AA Fs tia Bese a37 Fat ore a sitter Toor 5 favor reesstbset Pel Principle da Dusit, te: (ere) reraribee! | xpcesses come (a+b) + e022) = pasa a nr sm pares, ‘expres tut como (a+b) = (2+ d+) podem wer deseo coma na ‘letra usual a= b pode se esrita ab eo operaor* tem pcan sate ‘+ cdemedo ques +(b€) pode serearta 80 0U8 be ‘eomma 7— 0 complemento de cade eameno de uma Algebra de Boole & Pom jam complements dea. Ent: vera Corotirio— Custer Apsra de Boole no degeerad tr um mre par 109Teorema B= [a7 Teorema 12 ab tafe tbe = aba eb uc rove 5 he 1 40 conpamana dea anos a's tea s'=0.Mosenasequnses woteetbes meveenctenn) somes nortimga nt ocampmens dee, tao ka" (6. : 2 SetFesaer ste ore 7, xt um in conpanets portant: | = bbiteelsoan =o) terns - severe wire “Teorema 9 b+ 8° Toorama 13 (2+) tevtosel=aeta, shea = abe? ac (us +40 4a +e) (oe) a = here se taerate + be = sett tp) revit el be ‘ero 10-0 tate = (asiietenie + ore a7 = oreo me ee =, “Teorema 1- (0 +6) (a += 20+. . ve ena. fom (arbiter) = ae tact a tbe sacra tbe (De Morgan: (a bi'=a°+ bela #by'ea-B: Diese steteeay facta tate vie = oleate bye (as by > Lae ta) far sbe 4b) aoe 2 sprites lasmarte = scram, 1 a (sb) sob) e weabtbearpeo ses toramas ty su grande alco na simplifiato de express bo eee cleans ceeitoy de nterruptares,contorme eres ns exer # epi (avy = ato . tiers ae 1 example a0 ead. ‘Simlicar ab) (a# B+. mtSout: [nsbi at bse) = aesabr rae +004 tbe Dea eoe sab ros be = atte 29 exemple Singita 0 out: ee ee Sot (ot a) a +e) tpt = praia” 7 2 pepe obra socket dmptcado tr 2 Example: Simplifear 0 crest: Soweto: pat #0r+ p= platen +o, = blaster paepeted 412 Detenhand occ ds expr snpied, em 2? Example: Determine 0 complemanto de pa! #4 Sov! (oa +0" tna" (nar = (sta) “or +a + (o'¢a)- (pea ‘Teorama 16 Se uma Alga de Boole conn plo menos dos elementos di tion, entfo 0+ Suposhamos que exit uma Altra de Boole com palo menor i ele ‘ments dino, paras qual 0 1, Sola 2 um emo tal qe #0. Come, por hipét, tl element exits, ertho tor ox ours elem: tor af gui. Log, a= a" 1a" 00, 0 que uma cotade, Porto, O# 0a ‘Sejm 2 © 6 elementos de uma Ager de Bole, Dizon que a menor ou (ob) w esomentese 4 #08, Teorama 16 =< ¢u orem pari: Pao tore 24444, Lope iyi +31 oH +) cat econ = Hae + HO +e > eortmonren e4eMr + one yon + (a (LV (ym FH HAC ue ore +910. (oberg) 9.0 Suponhamos que o tworema ale para fg esa al = e+ a) = #00) oa > the + HO +h #90 > (+ ofthe (01 +l = nite hie 59.com: ‘Suponhamos que otorema vale pas be) = abo = (Hthe +00 (ati 0h) S fiialee + ng +g + Hora S saa(e +4010 = ie FRO sable, endo, uma forme candi para uma face boolans de lie Podemos moter, de modo selant, que, #4 na fan boolean de Gat varie, to, para tee ot alors de ey, ee be, yb =f. ey #1, ODay" #0, they #10, Ob jak) = Heeb Em gral 58 #6 ua fngfo boolean de vai, nto, pra todos ot lores See Heike * Belay, aa AE iQ Xf irra come x0 x conterme ‘nde oj sume of valores 0 #1 ah tem alo 00 Exampls: Seu B ma Agere de Boole com quer mente 0, ‘Conran a formes canna prea fone 3) He) m4 Be, yey tay. Sotto: 11) = 1 60) = 4,64 mode ave form candi par 16 Hibe + HO}e= tera 119120 at ¥ aloe fe) = zit] by a(t = Beg) = 910. = 0.01 «1, 4 modo ave forma can pra glnyl = Oxy s Tey"* Tey +18 ‘aloes gy) = #294 Telele]o wel | elias tacos Tire Te Nowe que eo ambes a fn,» forma cantina recurs fciment forme agin ‘forma candies qua dsctimes & connie como ume soma ge produtae ‘ou forma normal dunes (END). Exit tar produto de ome 0 fo Sarma anja (ENC). Cade tna de uma FND 6 ves, cad mi tron nhs ftres de ra FNC 80 chamado xr (WM) EXERCICIOS 1. Suposhamos gue 1 uma tune boos ie de Bool da 4 ames, 10) =a fo part 2, Esrever forma cai gral para wma funo booleana dew vr Determinr 3 forma cndnia para cads ums dat agin ang: 2) fe) =e 1) flay) + a + by onde 2 es elements fea iti Algebra de Book ©) Huyal = aly #22) #002) we ry 42 Suponhamos que 6 & us Alga de Bole sobre conjunto ©. sb, Be €, 1), @ sf uma fun Booleans aque 0.0) ~ (04) = 4.001 = 9, 080)~ 0, KON = 1,10. = 10,10) e141 = b,Determig Hh 121nN Representacdo das Funcées Booleanas 1 114 DIAGRAMAS DE VENN OU CIRCULOS DE EULER See epost tune: 1) yah eae rab 4a eee re Vertes Alpin: se Fate tae + awe vue e) rabtetel ara mais de tts wards, tomas mito if repeantr a inte ‘0 forma pls epactvos eres de Euler. Neste ao, ullanse a dpe Solo mosvada a sep para gun verse Byes 11.2 TABELAS-VERDADE Consumes tableware de fare Habi= ase Mo robin comin em erin nla a na be lave 123_Exomplo: Dteina fun bosann rapresetad pela tabard CPT] i ofolole ofol1 [1 sve oftfolo opp rt jase tpolelo, rrotrto. rir foto. eo bee aane Sots Fazend svriée! nfo complements iia 2 1 xride complements lout #0, pls wloyer dea wc corespondenter a> 1 em ca linha dae, (Biko ui ox termes dere procurada stow," eae, Lope, tenor in = flabe)=ae +e abe 113 REPRESENTAGAO GEOMETRICA 12) ng de un var ——! 1) Fpl de dun vari 128 Fungo de tt vars m ow Fo 01 4) Fungo de quo vréris De mado gual, reprsenamos at posts combinagtar dt 9 vies como pontos do esate, vo conjunto de todos o& 2" potas frmem oF 2s ce um neubo, ou wn iprenbo boolean Para repomntargometcente 1 fangs Booleans, 0 a, no meu, atibulmos a ada vrion do uo rim Gen vatdes orepondente, Ero, no co do sbo, eno: on om rm | 0 ™ ‘ne m | to ae = | on | a s m | too 000 m | to ae mim 15126 ‘A tepretentasosromévca de uma fungo den varies 0 conlunt do eins do ub crampondents 2s intr fue Example: Repesntc geometricamant a fugto tae) = E0237 Sots: Co on 0 Bi om lI beanie: 1. Cada um dos vires corepondentes soe mints ung & to abo es uno. 2. Dois Czubos de ums fun ormam ur -eube quando diferente por scante am vot du varie como, por exemple, 000010, 010¢ O11, O11 « ™ on an ow | 00! 23, Quatro Oos forma um 2exbo defn Dizeros qu um peabo (pn) éum aubcubo de um ncubo, ane ct eur vrtcas pertancer ao conjunto dor wits dee obo, ous ‘abo enh congo ou eater pelo ube, Exempla: Na reeeanago a segs: - + 3m 700 © O-ubo 100 end cobwrt pos evr 100 «101, 100.110, 100 00, # pelo 2eubo 100, 101, 110,¢ 111. Detnimae dings ane dois ponte de tm mcubo como © nme de wales dt vari en que frm as epee ‘es binkias dos dis pontos. Asi, dor ox pontor 101 «O11 de un Bebo,» > > ) Y= 80's abe aed tees du mania tee pr simp sr fuck, 0 et . wo on 0 wo ho ; ier sib Se a we OL cooleTy > 4 @ntitr One > 0 0 ol vets ae ated Considerndo aut a el acannon a irom evi ; sno cto de bee erm nar, pcos oyun mane mo ) “Temporada rpualespr um riso map, oto: ada arouse > coo; 110 ae opr o > note 10 : aD > este sande be ute ct sini "us tne splints Pas impli o mis un uno tr ne > Shake hake o meano treo dwt spare Va apse cao ) tain ann acon dun un ) Sais simpli aula Yoav sate abe, 1148 Oompa crempondant vests vepe swerved 147\ejumos agora am que texas acacente quatro a quo. Seno map de Karaugh que apresant foes YosVC tated Heed sd abe aed a'ed + ab' . oo 1 0 0 ofepat ata wpe rry Tomo 133 METODO DE QUINEMcCLUSKEY Ene mftodo apcaseexclusvament fue boolean na forms norms luna «nota bind, Supers limita co maps de Karaugh go pose ‘pln 3 fungbex.com mas de slvr apres um pocadment 148. permit niizaelo te computador Conte na apento mewn So tore biniric. Pars utlizag deste método, procedese ds seuint mancis ©) Chaise «spupames of trmos ung de cord cm sus Indes. 1) Compsrams todo of eos de um dado grupo com cde tea do ‘po sue, 0 se de noe metinamente wero, mediante 3 {alco do tora a a=. Roles suesvomente ee eo ‘rama comparando cada ero do grupo de fn | com todos o tr ‘mor do grupo de indice 1+ 1 al extreme a pssbiicedes, 0 {temo restart conten raprsragto fa orga com 0 aigito itera susttude por um eo, Mares com (odor 08 tmo8 ‘omparados com 20 menos outa tne, Ags abu os temas comparaos, poe 4 novament conform ‘© exosto noite Dat seater ss porbidades, O wr ue ara sea marca (21 formar 9 conjune dos armas irc. 19 Example: Determinar 0 trmosiredutvet duro Hay.2)= Ve aye 2 eye tye Sotto x2 = 21001,1000100011,101,119) a]ofols |] va fol-la-f var |-[-]] >= 2}0|1}0)~| 15 |-lo]a}-| v.97 |-[-[ alifolol-} 23 fof]-|_ sfolr}i|“| 4s [1 Jol-|——~ 3 siifoli Paz [ap aL s2 [feb {Como 1.35.7 © 15.3.7 rpresantam um mesmo temo, nfo er necaso repens fete tmp dad por teny xy, 149150 Mi Soli: Por conven de ote, pdemos eee fang dad forma lade) = B10011,1011000010,1000,10010,01101 1110, ‘1111,01100,00100| viabede) = 217.222,16.181928,5,1241 welelale allel 2 [olafo|s|o|~ —[ aa8]-[ofo| so] ewe 4 fololrlolo~ | axz[o|-|1}0)0 we {rfolololol~ | 638 1|0}0]-|o} v2 fofr}ifojo[~ [raze ]=[3[1]0}9] se |slolo|s|ol~ {13221 1Jo]-|s]o) POODU Tae ORDO sa {ols}slols\~ [ras Lola}s]-|e za |sfols|ijol~ ae_{ilifrlolol~ ss_[olr pete a hung sinpitons 2 empl: = bees we bate ated abe iim fan: y= ate baa’ sovod ate + bed bed fs bhi ah Sows: ‘lade = 2(0100,110,00010101,0110,1110« waned = 216.121.5610) vfofstols|~ [asfol-lofe =hf-fo 4|olslolol~ | aslols}ol- spol foli|~ |4za|-|s]olo/- 12] 1)sJolol~ | alos} -[o e|ols|sfol~ [exalts e]oy rat iTitsfo}~ vob saa ate’ +t Embora = funlo eta simplifcads, no ert minimiznda, pos apes szrem seus tres rete, M80 880 tomer iredtes inapanstin. Pars ‘Genter ta wor, amo io doe terms edt tssenn 24 Neste crivo aparece na horizontal 9 not decimal carespondente 20 ssrmes ne vrtial or ror ds fn snplifendn O fata dca rn du ( smpliinda sr pre ds tetas represents na foe ec & ica or um porto na intesego ds inate coluse correspondents dori, Seo [as om que cada nimero decimal eoresponde apenas um ince tro, et ‘a um tro iret Indien! Anum, be 8 fotos edt vei inipensve os dal fo tmos supus. Endo, ungominimizas 181EXERCICIOS 1 182 5. Deena of cies rltivt A unebes ‘eterminr une representa no mapa Representa os eqn anges no mapa de Karma a vlabel=b se + a Fab tbe! by vabedl = abd abe bed + bed 8) vesbed = 210008 0101,1111,101, 10011 4 viabedl = 224562.11.18) Shyslerb) rere) A yoabes Fea) ‘Simpler mediante mapa de Kemaugh a funBes do exrico2 Simpliia pslo métado de Qloe Meiukey 3 equines une a) yaa be tae’ tb abe’ + abe 1B yaabe babe #ab"+ ead Gyr aber ables ac tbe sed 88 0 visa) = 10,124) 9) labeal = 200135791118) 1 vlad = 3102-46,789.10.1.19) Dyreebrere sabes abet abed dns no exert unger Correrpondncs entre ners cima bintror aEoeeseeceeeesseuasauey 153omamo | REA ce “ om [soeace O |r & 14 vor >| | eee Cee Portas Ldgicas . disp. | ep. qa seem | | et: |d-| - eroding matin Serb era igen | [Rk Ph > As ports Vikas soos bates dos circuits gens tm po finalise com : Ry ‘de modo relzardeminae fo, acs porta ones pce lr nha eens ori samen ue ih (eines conforma vernon. 6p z io éecorer do noo eto, vablhaemas cam st noma ‘MiLSTD80GE IMILITARY STANDARD) geno out feat Sitremor at noma da CEI (COMISSION ELECTROTECHNIQUE CCIONALEY connection ntraionimen © as armat semis DIN 40700 ioevesene musta won fo PPE se Be | oer Daremos, 2 seguir, uma tabela com os ci ‘abelas-verdade que os de: oan syn sop t's sao sa peony =DVeismos a esol de auns exemple 10 Exempe Repreentar mest porta oct fungo x= —=D— soto: 20 bean: aro circuit igi erepondent 8 fungi =a + Soup: —D—_ — D> 3 example eterna ung earespondant to crs igen Sows: 156 izlsbteraemeie oho) 4? Example: Representa fun dfinida pl tba vrdae como circuit lg: Sots A abla verdad define 2 tng we Wte ste abe sabe ‘Simoliiquomos 2 funeSo: x + besa bet bet be = eves aber beste) 2 itecatestel = weer ates b) Sancta > weraprae + erie tee Eni, x=be +a o culo geo correspondents: 187158 50 Example ave) he ar 0 cicuito lin conespondenta 8 es hschurade not cielos de fuer Sotie: | fn corespondente be ached xebie tes abe Simpitean,ebtema: e+ be) + be = tape E ocreuit énico pacundo& a ——) >— {>— © ceampl: ‘Simplicrocreit iio madlan ulin o do map de Kamau Solio ccc in dado corspond foto 1 = sod + ad +b ab 08, 2 quto varie ue no ert nfo ‘ms normal ijuntva, ftande ume vari em quit Je aut trmos at ‘ves em um de aus eroe. Urano 0 woroma expat por ab 30 mos 1 ad + abe + abet aed + sd ba +d ab abt + qn representa ne mane de Kamaugh nos a 159dana rut gen pedi: Db —=pD— — 1 Db D— D— 1614 bese o oui otespandenes impliieads! bs wel verde ” a 5. Desa o site liens corespandantes ait de Euler, | o 462 LBD AT en RRR RET ee ae 6. Deeshar os rule de Eur corespondentes as cei iio » a * 7. Simpify, usando os woramas de Alera Boole, cists igor: D— 163165 wae tae We ee ‘ i 3 i i | ! i } 5 é ; | i168 Bibliografia ALENCAR FILHO, Edgad de, Inco & Kpes mare. So Palo, Nobel, 19%. ALDEP. Algeve de Boole (Usistion pour Is sinpliation det cut log “qui ~ Cours Programe - DUNOD, 1971 BITTINGER, Marva L- Log and prof Addon Wey, 1982, BOSCOLO, Alstet. Nora de ale FFCLSA. Suto Andi, 17 [BOUWENS, AJ. Digi instrument curse Pe 1). NW. Php’ Gloslangen fabisken, Test and measuring department Eindhoven, The Neen ‘BUDDEN, FJ. An introduction rage sretures. Longa, 1975 DUKSTEIN, Edward Poctie problont in number stems Lag and Boolean “Algbia. Howard W. Sun Co. 1982, CALABRESE, Gissepe.Llgeb di Boole Mino, Delfino, 1973, CASTRUCCI, Benet. Inodugdo& Wg matemstc, Sao Paulo, Nobel, 1975. CIANFLONE, Franco. LAlgetv di Boole «tert lic. Milan, tas Lib SPA, 1978. ENNES, Harold E, Boolean alge for computer lpi. Howard W, Sams WCo 178, FAURE, R. DENISPAPPIN, M.& KAUEMANW, A. Cours deco boolon ‘appliqué. Pas, Albin Mishel, 1970. FINE, Nathan Jn inroducon 19 modem mathematics. Geotge Alles and ‘Unwin, 1967 FLEGG. H. Gahan, Soolonegeb and ts appictions. Blckie: London aod ‘Glasgow, 1968 HILL, Frederik J. & PETERSON, Gerlé R.Introdhction t witching theory ‘and lopet deg. Joa Wiey& Sos, 1974 [HOERNES, GetardE, a HEILWELL, Melvin F.Itroducctn agin de Bole 17.2 bsdipostnes gece (AatoenetaneaPogamada) Mod, Paige, 1976. HOHN, Franz E. Applied bootan letra. Macmillan 1966 KOHAVI, Zu. Switching and finite automate theo. New Dey, McGraw, KORFHAGE, Rott R Loic and aignths John Wiky& Sons, 1966. TARNEY, Vilet Hactemeiter.Absact algebra: aft cure inde, Weber & Schmit 1975, 7 LEE, Samuel C.‘Moder switching theory end dal design. Englewood Cs Proatce al, 1978, MANGE, Daniel. Anaya et. omhie ds times ges St Saha, Ea ‘tions Georgi, 1978. - MECLUSKEY, EJ. nroution 10 the theory ofsitching cults. New Yor, MeGraw Hl, 1965 MUROGA, S Loge deen and switching theory. New York, Jobe Wiley & Sons, 1978, INZON, Alvaro, Conny exruturas. Harpe & Row, 1973. RUSSI, Gonzalo Zubitn. Mira! de les pare exons de matenstica esso, Ti, 1971 ROETHEL, Louis F. Lope; sand number. Wadworth Publishing. 1978 SOUTH, GF. Boolin eget and its uses. Van Nortrand Reinhods1974 WHKTESITT, J. Eldon. Boolon algebra ond its apnctons,Adion Wes, 1961 167