468 views

Uploaded by Ricardo Jurczyk Pinheiro

5a lista de exercícios de Lógica Matemática que usei quando lecionei essa disciplina, na faculdade. Esta tem gabarito em anexo. Espero que seja útil.

- AAMC 4 Essay 2
- Ray Monk - How to Read Wittgenstein (2005)
- B.asyllabus
- (Synthese Historical Library 12) E. J. Ashworth (Auth.)-Language and Logic in the Post-Medieval Period-Springer Netherlands (1974)
- Align Engineering Expertise Environment Across Reality
- chapter 3 part 1
- Sentential Connectives
- Kaplan Sample LSAT Class March 11, 2014
- Developing Knowledge Base Using OPS5 -- Sample Cases With Solutions V5
- truth table (with process)
- Logic
- Erp4syllabus
- http___kangaroo.org.pk_upload_ikmc_downloads_98fd1a8af9f8d6cc54c529990fc1bd7d.pdf
- PDDL
- Question stem
- NCSSM Diagnostic Rubric
- Diag Rubric Port-801405
- Lecture 2-QM MEthod
- research4.docx
- Directions j Son Parser

You are on page 1of 5

20/11/2008

1. (x01 + x2 )x3

2. x1 x2 + (x1 x2 )0

3. (x1 + x2 )0 + x1 x3

4. (x1 + x2 )0 x3 + x03

5. x01 x02 x3 + x1 x2 x03 + x1 x3

6. x1 x02 + x01 x2 x3 + x2 x03

7. (x1 x02 ) + (x01 x02 x3 ) + (x02 x03 )

8. (x01 + x2 + x03 ) x2 (x1 + x03 )

9. (x01 x02 x3 ) + (x01 x2 x3 ) + (x1 x02 x3 )

10. (x01 x02 x3 ) + (x2 x3 ) + (x1 x2 x03 )

11. (x01 x02 x4 ) + (x01 x2 x4 ) + (x2 x3 x04 ) + (x1 x3 x4 )

12. (x1 + x2 + x03 ) x3 (x01 + x2 )

dadas pelas tabelas abaixo:

x1 x2 f (x1 , x2 )

1 1 0

1. 1 0 0

0 1 0

0 0 1

x1 x2 f (x1 , x2 )

1 1 1

2. 1 0 0

0 1 1

0 0 0

x1 x2 x3 f (x1 , x2 , x3 )

1 1 1 0

1 1 0 1

1 0 1 1

3. 1 0 0 0

0 1 1 1

0 1 0 0

0 0 1 0

0 0 0 1

1

x1 x2 x3 f (x1 , x2 , x3 )

1 1 1 0

1 1 0 0

1 0 1 1

4. 1 0 0 1

0 1 1 0

0 1 0 1

0 0 1 0

0 0 0 0

x1 x2 x3 f (x1 , x2 , x3 )

1 1 1 0

1 1 0 1

1 0 1 0

5. 1 0 0 1

0 1 1 0

0 1 0 0

0 0 1 0

0 0 0 0

x1 x2 x3 f (x1 , x2 , x3 )

1 1 1 1

1 1 0 0

1 0 1 0

6. 1 0 0 0

0 1 1 1

0 1 0 1

0 0 1 0

0 0 0 0

x1 x2 x3 x4 f (x1 , x2 , x3 , x4 )

1 1 1 1 1

1 1 1 0 0

1 1 0 1 1

1 1 0 0 0

1 0 1 1 1

1 0 1 0 0

1 0 0 1 1

7. 1 0 0 0 0

0 1 1 1 0

0 1 1 0 0

0 1 0 1 0

0 1 0 0 0

0 0 1 1 1

0 0 1 0 1

0 0 0 1 0

0 0 0 0 0

2

x1 x2 x3 x4 f (x1 , x2 , x3 , x4 )

1 1 1 1 1

1 1 1 0 0

1 1 0 1 1

1 1 0 0 0

1 0 1 1 1

1 0 1 0 1

1 0 0 1 0

8. 1 0 0 0 0

0 1 1 1 1

0 1 1 0 0

0 1 0 1 1

0 1 0 0 0

0 0 1 1 0

0 0 1 0 0

0 0 0 1 0

0 0 0 0 0

x1 x2 x3 x4 f (x1 , x2 , x3 , x4 )

1 1 1 1 0

1 1 1 0 0

1 1 0 1 0

1 1 0 0 0

1 0 1 1 0

1 0 1 0 1

1 0 0 1 0

9. 1 0 0 0 0

0 1 1 1 1

0 1 1 0 0

0 1 0 1 1

0 1 0 0 0

0 0 1 1 1

0 0 1 0 1

0 0 0 1 1

0 0 0 0 0

x1 x2 x3 x4 f (x1 , x2 , x3 , x4 )

1 1 1 1 1

1 1 1 0 1

1 1 0 1 0

1 1 0 0 1

1 0 1 1 1

1 0 1 0 0

1 0 0 1 0

10. 1 0 0 0 0

0 1 1 1 0

0 1 1 0 1

0 1 0 1 0

0 1 0 0 1

0 0 1 1 0

0 0 1 0 0

0 0 0 1 0

0 0 0 0 0

3

3 Faça a minimização das expressões lógicas obtidas no exercı́cio 2, usando

as propriedades da álgebra de Boole.

4 Faça a minimização das expressões lógicas do exercı́cio 1, usando mapas

de Karnaugh.

5 Use um mapa de Karnaugh para encontrar a forma normal disjuntiva

para as expressões booleanas abaixo:

0 0 0 0 0 0 0 0 0 0 0 0 0 0

1. x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4

0 0 0 0 0 0 0 0 0 0 0 0 0 0

2. x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4

4

Gabarito:

Questão 2:

0 0

1. x1 x2

0

2. x1 x2 + x1 x2

0 0 0 0 0 0

3. x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3

0 0 0 0 0

4. x1 x2 x3 + x1 x2 x3 + x1 x2 x3

0 0 0

5. x1 x2 x3 + x1 x2 x3

0 0 0

6. x1 x2 x3 + x1 x2 x3 + x1 x2 x3

0 0 0 0 0 0 0 0 0

7. x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4

0 0 0 0 0 0 0

8. x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4

0 0 0 0 0 0 0 0 0 0 0 0 0

9. x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4

0 0 0 0 0 0 0 0 0

10. x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4

Questão 3:

0 0

1. x1 x2

0 0

2. x1 x2 + x1 x2 → x1 (x2 + x2 ) → x1 . 1 → x1

0 0 0 0 0 0 0 0 0 0 0 0 0

3. x1 x2 x3 +x1 x2 x3 +x1 x2 x3 +x1 x2 x3 →(distributiva) x3 (x1 x2 +x1 x2 )+x3 (x1 x2 +x1 x2 ) →(inverso) x3 [x1 x2 +(x1 x2 ) ]+

0 0 0 0 0 0 0 0

x3 (x1 x2 + x1 x2 ) →(inverso) x3 + x3 (x1 x2 + x1 x2 ) →x3 + x3 (x1 x2 + x1 x2 )

0 0 0 0 0 0 0 0 0 0 0 0

4. x1 x2 x3 + x1 x2 x3 + x1 x2 x3 →(distributiva) x1 x2 (x3 + x3 ) + x1 x2 x3 →(inverso) x1 x2 + x1 x2 x3

0 0 0 0 0 0 0 0 0 0

5. x1 x2 x3 + x1 x2 x3 →(comutativa) x1 x3 x2 + x1 x3 x2 →(distributiva) x1 x3 (x2 + x2 ) →(inverso) x1 x3 . 1 → x1 x3

0 0 0 0 0 0 0 0

6. x1 x2 x3 + x1 x2 x3 + x1 x2 x3 →(idempotência) x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3 →(distributiva) x2 x3 (x1 + x1 ) +

0 0 0

x1 x2 (x3 + x3 ) →(inverso) x1 x2 + x2 x3

0 0 0 0 0 0 0 0 0 0

7. x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 →(idempotência)x1 x2 x3 x4 + x1 x2 x3 x4 +

0 0 0 0 0 0 0 0 0 0 0 0

x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 →(distributiva)x1 x2 x4 (x3 + x3 ) + x2 x3 x4 (x1 + x1 ) +

0 0 0 0 0 0 0 0 0 0 0

x1 x2 x4 (x3 + x3 ) + x1 x2 x3 x4 →(inverso)x1 x2 x4 + x2 x3 x4 + x1 x2 x4 + x1 x2 x3 x4 →(distributiva) x1 x4 (x2 + x2 ) +

0 0 0 0 0 0 0 0 0 0 0 0

x2 x3 x4 + x1 x2 x3 x4 →(inverso) x1 x4 + x2 x3 x4 + x1 x2 x3 x4 →x4 (x1 + x2 x3 ) + x1 x2 x3 x4

0 0 0 0 0 0 0

8. x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 →(idempotência)x1 x2 x3 x4 + x1 x2 x3 x4 +

0 0 0 0 0 0 0 0 0

x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 →(distributiva)x1 x2 x4 (x3 + x3 ) + x1 x3 x4 (x2 + x2 ) +

0 0 0 0 0 0 0 0

x1 x2 x3 x4 + x1 x2 x4 (x3 + x3 ) →(inverso)x1 x2 x4 + x1 x3 x4 + x1 x2 x3 x4 + x1 x2 x4 →(distributiva) x2 x4 (x1 + x1 ) +

0 0 0 0 0

x1 x3 x4 + x1 x2 x3 x4 →(inverso) x2 x4 + x1 x3 x4 + x1 x2 x3 x4 →x4 [x2 + x1 x3 (1 + x2 )]

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

9. x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 →(distributiva)x1 x2 x4 (x3 + x3 ) + x1 x3 x4 (x2 +

0 0 0 0 0 0 0 0 0 0 0 0 0

x2 ) + x1 x3 x4 (x2 + x2 ) →(inverso) x1 x2 x4 + x1 x3 x4 + x1 x3 x4 →(distributiva) x1 x2 x4 + x1 x4 (x3 + x3 ) →(inverso)

0 0 0

x1 x2 x4 + x1 x4

0 0 0 0 0 0 0 0 0 0 0

10. x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 + x1 x2 x3 x4 →(distributiva)x1 x3 x4 (x2 + x2 ) + x1 x2 x4 (x3 +

0 0 0 0 0 0 0 0 0

x3 ) + x1 x2 x4 (x3 + x3 ) →(inverso) x1 x3 x4 + x1 x2 x4 + x1 x2 x4 →(distributiva) x1 x3 x4 + x2 x4 (x1 + x1 ) →(inverso)

0

x1 x3 x4 + x2 x4

Questão 5:

0 0 0 0

1. x4 (x1 + x1 x2 x3 ) + x2 x3 x4

0 0 0 0 0

2. x1 x2 (x3 + x4 ) + x2 x3 (x1 + x4 )

- AAMC 4 Essay 2Uploaded byChris_Barber09
- Ray Monk - How to Read Wittgenstein (2005)Uploaded bybaterbly-copista
- B.asyllabusUploaded byAkshay Seth
- (Synthese Historical Library 12) E. J. Ashworth (Auth.)-Language and Logic in the Post-Medieval Period-Springer Netherlands (1974)Uploaded byMilkoPretell
- Align Engineering Expertise Environment Across RealityUploaded bysfofoby
- chapter 3 part 1Uploaded byapi-358088482
- Sentential ConnectivesUploaded bymuhammad
- Kaplan Sample LSAT Class March 11, 2014Uploaded byvgurrola14
- Developing Knowledge Base Using OPS5 -- Sample Cases With Solutions V5Uploaded byAdityaJain
- truth table (with process)Uploaded byArvin Efriani
- LogicUploaded byMArieMigallen
- Erp4syllabusUploaded byRishi Thakkar
- http___kangaroo.org.pk_upload_ikmc_downloads_98fd1a8af9f8d6cc54c529990fc1bd7d.pdfUploaded byNguyet Anh P
- PDDLUploaded byGiuseppe Pace
- Question stemUploaded byjasmina2869
- NCSSM Diagnostic RubricUploaded byCharles Zhao
- Diag Rubric Port-801405Uploaded bymsbrenner
- Lecture 2-QM MEthodUploaded bymehtaaditya28
- research4.docxUploaded byShakira Mhaire Mananquil Aguirre
- Directions j Son ParserUploaded byaldianfaizun
- CUploaded bybalakrishna
- Operators and ExpressionswsUploaded byJhon Excell Sano
- Hipocondría según Hegel.pdfUploaded byHoracio Martín Sisto
- Complete PracticalUploaded byshabbirjamali
- 1999 Craig Robert (Arrastrado)Uploaded byIván Peñoñori
- How to write a paper | café optUploaded byAdrian
- Nouveau Document TexteUploaded bysfofoby
- Para JumblesUploaded byPuja Agarwal
- Cognitive Affective DomainsUploaded byLaura Sollier
- 3.1 Tuple Relational CalculusUploaded byGhalit Marrichettu

- Intertek Frp Mechanical Testing ReportUploaded byRichie Zurc Jimnz
- LS-CL Installation GuideUploaded byabaxas
- Diehl_Metall_Strips_MB30_V2_M-SM.pdfUploaded byVinoth Kumar
- Casiraghi.pdfUploaded bySantiago Urgiles
- Garlock GasketUploaded bygaurang
- Voltan TinggiUploaded byMohamad Syukri Abd Rahaman
- Al-Owhali v. Holder, Jr., 10th Cir. (2012)Uploaded byScribd Government Docs
- Windows XP Tips and TricksUploaded byapi-3792621
- 15_exergy eo&egUploaded bymehul10941
- What We Need to Prepare Before Soldering PCBUploaded byEva Liu
- Timetable - Students (Sem 1)Uploaded byquockhanh2991
- The Pros and Cons of Being a Sales PersonUploaded bypgrc
- Soluciones y dimensionamiento de banco MTUploaded byFrancisco Mego Torres
- Audit Checklist Process ApproachUploaded bysrinivas8587
- Window Blinds 7Uploaded byVivek Dragon
- Most common Cause for all Medical Examinations.pdfUploaded bychronos6534
- GasSavings.pdfUploaded bydiegokato
- Microsoft PowerPoint - SNAS 2017 INTERNATIONAL HUMANITARIAN LAW.pdfUploaded byFISIPMOESTOPO
- PreventingPtFalls FMEA Case Study6Uploaded bySunny Antony Lewis
- Manchester Translation ServicesUploaded byLinguaVox Professional Translation Agency
- Data-Snooping Biases in Financial Analysis, Andrew W. LoUploaded byQuoc Minh Tai
- A Study on Foreign Exchange Operations in Union Bank ofUploaded byNidhi Yadav
- lcmmUploaded byJhon Ortega Garcia
- Introduction Outdoor Leader SkillsUploaded byleobrites
- (2) Roman Catholic Bishop vs Dela PenaUploaded byJet Siang
- CBSE Class 12 Sociology Sample Paper-01Uploaded bycbsesamplepaper
- Details on secret Israeli missile base accidentally posted to US government websiteUploaded byCEInquiry
- Attractive PeopleUploaded byFotocopiadora Jesús
- Asymmetrical Digital Subscriber Line_adslUploaded byv2brother
- Strategic ManagementUploaded byRim Abdel Kader