17 views

Uploaded by mehtaaditya28

Attribution Non-Commercial (BY-NC)

- exper5_2009
- Logic
- 027_CSE_3rdSEM_2015 Batch Onwards(End Term Examination, December 2018)
- How to Improve Critical Thinking _ Scott H Young
- Molina StockTradingWithRecurrentReinforcementLearning
- HW2 Solutions
- Business Letter2
- exploring
- Rough Neutrosophic Sets
- What is the role of logic on the spiritual path
- (Logic, Epistemology, And the Unity of Science 5) Bart Van Kerkhove, Jean Paul Van Bendegem (Eds.)-Perspectives on Mathematical Practices_ Bringing Together Philosophy of Mathematics, Sociology of Mat
- Logic-for-Legal-Reasoning.docx
- Abz01Driven Sliding Slice
- Function
- 47724614-Untitled
- GE Course Outline Logic 1
- Extension of Soft Set to Hypersoft Set, and then to Plithogenic Hypersoft Set
- Zab001Join Able Justice Scenery Shows
- summary of love and logic
- productFlyer_978-3-540-40175-9.pdf

You are on page 1of 60

MCIS

First founded by Quine and later improved by Mcluskey. Combining Theorem is repeatedly used. XY+XY=X X product of literals Y single variable

MCIS

Problem

f(a,b,c,d)=m(0,2,5,6,7,8,10,12,13,14,15)

F(a,b,c,d)=m(0000,0010,0101,0110,0111,1000,1010,1100,1101,1110,1111)

MCIS

0 2 8 5 6 10 12 7 13 14 15

0000 0010 1000 0101 0110 1010 1100 0111 1101 1110 1111

(0,2) (0,8) (2,6) (2,10) (8,10) (8,12) (5,7) (5,13) (6,7) (6,14) (10,14) (12,13) (12,14) (7,15) (13,15) (14,15)

MCIS

00-0 -000 0-10 -010 10-0 1-00 01-0 -101 011-110 1-10 11011-0 -111 11-1 111-

(0,2) (0,8) (2,6) (2,10) (8,10) (8,12) (5,7) (5,13) (6,7) (6,14) (10,14) (12,13) (12,14) (7,15) (13,15) (14,15)

00-0 -000 0-10 -010 10-0 1-00 01-0 -101 011-110 1-10 11011-0 -111 11-1 111-

(0,2,8,10) -0-0 (0,8,2,10)Duplicate - 0 - 0 Entry (2,6,10,14) --10 (2,10,6,14) --10 Duplicate Entry (8,10,12,14) 1--0 (8,12,10,14) 1--0 Duplicate Entry (5,7,13,15) -1-1 (5,13,7,15) -1-1 Duplicate Entry (6,7,14,15) -11(6,14,7,15) -11Duplicate - (12,13,14,15) 1 1 Entry (12,14,13,15) 1 1 - Duplicate Entry

MCIS

0 2 8 5 6 10 12 7 13 14 15

0000 0010 1000 0101 0110 1010 1100 0111 1101 1110 1111

(0,2) (0,8) (2,6) (2,10) (8,10) (8,12) (5,7) (5,13) (6,7) (6,14) (10,14) (12,13) (12,14) (7,15) (13,15) (14,15)

00-0 -000 0-10 -010 10-0 1-00 01-0 -101 011-110 1-10 11011-0 -111 11-1 111MCIS

MCIS

The prime implicant chart displays pictorially the covering relationships between the prime implicants and the minterms of the function. Consists of array of U columns and V arrays.

MCIS

Procedure

Place prime implicants in the column and minterm in row. Place a * in all the intersections of minterms and the implicants that cover them. If there is any column with a single * the corresponding prime implicant is an essential prime implicant,since that minterm is covered only by this prime implicant.

MCIS

MCIS

MCIS

Primary EPI

These are implicants which will appear in any solution. A row which is covered by only 1 PI is called a distinguished row. The PI which covers it is EPI.

MCIS

MCIS

So Primary EPI are BD and BD This term will appear in any minimal solution.

MCIS

Row Dominance

MCIS

Row 14 dominates row 6 as well as 12. Dominating Row can always be removed.

MCIS

yz wx

1 1 1

1 1 1 1

1 1

Minterm 12 mark invariably cover the minterm 13 so keeping the minterm with tick mark minterm with the wrong mark can be removed.

MCIS

Column Dominance

MCIS

CD and BC both dominate each other such columns are said as Co-dominate. Remove any one of the column.

MCIS

MCIS

Secondary EPI

A row which is covered by only one prime implicant is called a distinguished row The prime implicant which covers it is a (secondary) Essential Prime Implicant.

MCIS

MCIS

Result

No other rows to be covered ,so no further steps required. Therefore minimum-cost solution consists of the primary and secondary essential prime implicants. So F= BD + BD + CD+ AD

MCIS

Example 2

MCIS

Remove Primary EPI There are no primary Essential prime Implicants each row is covered by atleast two products.

MCIS

Row Dominance

MCIS

MCIS

Row Dominance

MCIS

Column Dominance

MCIS

AD & BD and CD each dominate one another.We can remove any two of them

MCIS

Column AD BD and CD each dominate open another.We can remove any two of them.

MCIS

MCIS

No further Row Dominance is possible Also no further Column Dominance is possible MCIS

Petrick Method Branch Method

MCIS

Petricks Method

Method to determine all SOP solutions from PI Chart. Increased Number of PI and complexity may lead to trial and error method. Petricks method more systematic.

MCIS

1. 2. 3. 4. 5. Reduce the PI Chart by eliminating the EPI. Label the columns of reduced PI chart as P1,P2, .Pn Form a logic function P which is true when all the rows are covered. P consists of POS form. Reduce P to a minimum SOP by applying (X+Y)(X+Z)=X+YZ and X+XY=X Each term represent a solution ,that is a set which covers all the minterms.

Find the terms with minimum number of variables. Each of these terms represent a solution with a minimum number of PI.

5.

For each term count the number of literals in each PI and find the total number of literals. Choose the term or terms correspond to minimum number of literals.

MCIS

Petricks Method

Lets Apply petrick method for the problem shown below

MCIS

Petricks Method

Problem is cyclic No column or row dominance is posssible. In Petrick method a Boolean Expression P is formed which describes all possible solutions of the table. P1=AC P2=BC P3=AB P4=BC P5=AB P6=AC

MCIS

Petricks Method

P1 P2 P3 P4 P5 P6

MCIS

Petricks Method

For the problem stated

P=(P1+P2)(P3+P4)((P1+P3)(P5+P6)(P2+P5)(P4+P6) If P=1 each disjunctive clauses are satisfied. And all rows are covered. In the expression (P1+P2) covers row 3.So product P1 or P2 must be included in the solution. Similarly for others=>(P3+P4) covers row 5.P3 or P4 should be included. These sums are ANDed together,since requirements are satified.

MCIS

P=P1P4P5+P2P3P4P5+P1P3P5P6+P2P3P5P6+P1P2P4P6+P2P3P4P6+P1P2P3P6+P2P3P6

Apply X+XY=X

P=P1P4P5+P2P3P4P5+P1P3P5P6+P2P3P5P6+P1P2P4P6+P2P3P4P6+P1P2P3P6+P2P3P6 P=P1P4P5+P2P3P4P5+P1P3P5P6+P2P3P5P6+P1P2P4P6+P2P3P4P6+P2P3P6

P=P1P4P5+P2P3P4P5+P1P3P5P6+P2P3P5P6+P1P2P4P6+P2P3P6

MCIS

Petrick Method

Since P is a Boolean expression, it can be multiplied by out into SOP form.

P= P1P4P5 + P1P3P5P6 + P2P3P4P5 + P2P3P5P6 + P1P2P4P6 + P1P2P3P6 + P2P3P4P6 + P2P3P6

MCIS

Petrick Method

So minimal solution are F=AD+AC+BC+AB F=AD+BC+AB+AC Here AD is the secondary EPI which was found earlier in the problem.

MCIS

MCIS

Select AC as Arbitary

MCIS

Column Dominance

MCIS

MCIS

MCIS

Minimal Solution

F=AD+AC+BC+AB We can see that the minimal solution obtained from Petricks Method is same as the branch method.

MCIS

Branch Method

MCIS

wx yz 00 00 01

Branch Method

11 10

1 1 1 1 1 1

1

Cyclic Map

01

11

10

F(w,x,y,z)=(0,1,5,7,8,10,14,15)

MCIS

Branch Method

Cyclic Prime Implicant Chart

(0,1) (1,5) (5,7) (7,15) (14,15) (10,14) (8,10)

(0,8)

0 1 5 7 8 10 14 15

* *

* * * * *

* * * * * *

*

MCIS

* *

Branch Method

To find the minimal expression

Make an arbitrary selection of one of the row and then apply the reduction technique.

For the problem given let us select row 0 arbitrarily and remove.

MCIS

(0,1) (1,5) (5,7) (7,15) (14,15) (10,14) (8,10)

(0,8)

0 1 5 7 8 10 14 15

* *

* * * * *

* * * * * *

*

MCIS

* *

MCIS

(1,5) (5,7) (7,15) (14,15) (10,14) (8,10)

(0,8)

5 7 8 10 14 15

* *

* * * * * *

* *

MCIS

(5,7)

(7,15)

(14,15)

(10,14)

(8,10)

5 7 8 10 14 15

* * * * * * * * * *

(7,15) 14 15 *

(14,15) (10,14) * * *

(14,15) dominates (7,15) and (10,14) We are left out with (14,15) PI So (14,15) must be a solution to minimal solution.

MCIS

We get

F=(1,5)+(7,15)+(10,15)+(0,8) Since both the expressions for F have same number of literals, both are minimal.

MCIS

Exercise

Find a minimal SOP

f(v,w,x,y,z)=(0,4,12,16,19,24,27,28,29,31)

MCIS

- exper5_2009Uploaded bySedat Ister
- LogicUploaded byWinz Naive
- 027_CSE_3rdSEM_2015 Batch Onwards(End Term Examination, December 2018)Uploaded byAngad Jot Singh
- How to Improve Critical Thinking _ Scott H YoungUploaded byAndrew Mayibongwe
- Molina StockTradingWithRecurrentReinforcementLearningUploaded byManikantan Thanayath
- HW2 SolutionsUploaded byArora Rameshwar
- Business Letter2Uploaded byezpiyah
- exploringUploaded byDlorrej Ollam
- Rough Neutrosophic SetsUploaded byAnonymous 0U9j6BLllB
- What is the role of logic on the spiritual pathUploaded byMJ
- (Logic, Epistemology, And the Unity of Science 5) Bart Van Kerkhove, Jean Paul Van Bendegem (Eds.)-Perspectives on Mathematical Practices_ Bringing Together Philosophy of Mathematics, Sociology of MatUploaded bycjmaura
- Logic-for-Legal-Reasoning.docxUploaded byJui Aquino Provido
- Abz01Driven Sliding SliceUploaded bysfofoby
- FunctionUploaded byhatisenang
- 47724614-UntitledUploaded byOding Turjaman
- GE Course Outline Logic 1Uploaded byAndy Ho
- Extension of Soft Set to Hypersoft Set, and then to Plithogenic Hypersoft SetUploaded byAnonymous 0U9j6BLllB
- Zab001Join Able Justice Scenery ShowsUploaded bysfofoby
- summary of love and logicUploaded byapi-314295553
- productFlyer_978-3-540-40175-9.pdfUploaded byJoo-Hyun Yoo
- HRansdocxUploaded byRoshan Singh
- Wentzel07Uploaded byVignesh Sunder
- yes.docxUploaded byKent Emmanuel C. Soria
- SCHED (Lably)Uploaded byElaiza Laude
- ARES 2009 _ Building a Responsibility Model Including Accountability Capability and CommitmentUploaded byChristophe Feltus
- Gaboto the IdealUploaded byapi-17298469
- Counting After AnywayUploaded bykairospandemos
- Logic and Law.pdfUploaded bysujee
- Logic Marquette Logic and Law.pdfUploaded bysujee
- NULL in OracleUploaded byAltaf Shaik

- 1004-1 (3)Uploaded bymichaelmooreny
- 1979 -Simplified Design of Building StructuresUploaded byDjordje Ladjinovic
- Rotor TempUploaded byvargil
- Noveon Laser ComparisonUploaded byJohn Kenney
- 2018 Molecular-Type Specific Multiplex PCR produces a distinct VNII PCR.pdfUploaded byMohamed
- Jumpstart Your Wealth Gene 2018 v2bUploaded byGabrielaMilas
- Software ProgrameUploaded byThirukkovlaur Raghuveer
- Complete Perl TutorialUploaded byCryptex Mmx
- Green Office GuideUploaded bydmuren
- HACCP PrinciplesUploaded byJake Melder
- Global Information Technology Report 2009-2010Uploaded byWorld Economic Forum
- Instant Power Supply ( IPS) System with Load PriorityUploaded byTania Marzia
- Built Up SectionUploaded byRaouf Basim Natour
- Quick Reference GuideUploaded bygeorgescurios
- Patrick Flanagan's NeurophoneUploaded byalexanderf_20
- 13_hacking.pdfUploaded byengkuamirul
- Dynamic Simulation of Yankee Drying of PaperUploaded byIvan Fernney Ibañez Aguilar
- Report Aerodynamics BegginerUploaded byJose Pardellas
- Dunant's pyramid- Thoughts on the “humanitarian space”.pdfUploaded byalvaromellado
- 2014 Engleza Judeteana Sibiu Clasa a Xa Sectiunea a SubiectebaremUploaded byAnthony Adams
- ReviewerUploaded byflorivee
- Letter to ADMINUploaded byDarrenLovelock
- Types of RelationshipUploaded byGerald Datuin
- Command & Control Research GuideUploaded byREBogart
- An Experimental Investigation on Normal Concrete using Rice Husk Ash, Dolomite Powder and Banana FibreUploaded byInternational Journal of Advanced Scientific Research and Development
- Online CEng App FormUploaded byRantharu Attanayake
- reflective essayUploaded byapi-285864331
- Max-Whyte-Alfred-Baeumler.pdfUploaded byGeorge Treacy
- biomaterialsUploaded byakseolu
- Natural 432 Hz HarmonicsUploaded byvasaf