Review standard forms of expressions
Download
1 / 16

No Slide Title - PowerPoint PPT Presentation


  • 102 Views
  • Uploaded on

Review: Standard forms of expressions. We can write expressions in many ways, but some ways are more useful than others A sum of products (SOP) expression contains: Only OR (sum) operations at the “outermost” level Each term that is summed must be a product of literals

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'No Slide Title' - teal


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
Review standard forms of expressions
Review: Standard forms of expressions

  • We can write expressions in many ways, but some ways are more useful than others

  • A sum of products (SOP) expression contains:

    • Only OR (sum) operations at the “outermost” level

    • Each term that is summed must be a product of literals

  • The advantage is that any sum of products expression can be implemented using a two-level circuit

    • literals and their complements at the “0th” level

    • AND gates at the first level

    • a single OR gate at the second level

  • This diagram uses some shorthands…

    • NOT gates are implicit

    • literals are reused

    • this is not okay in LogicWorks!

f(x,y,z) = y’ + x’yz’ + xz

CS231 Boolean Algebra


The dual idea products of sums
The dual idea: products of sums

  • A product of sums (POS) expression contains:

    • Only AND (product) operations at the “outermost” level

    • Each term must be a sum of literals

  • Product of sums expressions can be implemented with two-level circuits

    • literals and their complements at the “0th” level

    • OR gates at the first level

    • a single AND gate at the second level

  • Compare this with sums of products

f(x,y,z) = y’ (x’ + y + z’) (x + z)

CS231 Boolean Algebra


Complementing a function algebraically
Complementing a function algebraically

  • You can use DeMorgan’s law to keep “pushing” the complements inwards

  • You can also take the dual of the function, and then complement each literal

    • If f(x,y,z) = x(y’z’ + yz)…

    • …the dual of f is x + (y’ + z’)(y + z)…

    • …then complementing each literal gives x’ + (y + z)(y’ + z’)…

    • …so f’(x,y,z) = x’ + (y + z)(y’ + z’)

f(x,y,z) = x(y’z’ + yz)

f’(x,y,z) = ( x(y’z’ + yz) )’ [ complement both sides ]

= x’ + (y’z’ + yz)’ [ because (xy)’ = x’ + y’ ]

= x’ + (y’z’)’ (yz)’ [ because (x + y)’ = x’ y’ ]

= x’ + (y + z)(y’ + z’) [ because (xy)’ = x’ + y’, twice]

CS231 Boolean Algebra


K map review
K-map Review

  • K-maps are an alternative to algebra for simplifying expressions.

    • The result is a minimal sum of products, which leads to a minimal two-level circuit.

    • It’s easy to handle don’t-care conditions.

    • K-maps are really only good for manual simplification of small expressions... but that’s good enough for CS231!

  • Things to keep in mind:

    • Remember the correct order of minterms on the K-map.

    • When grouping, you can wrap around all sides of the K-map, and your groups can overlap.

    • Make as few rectangles as possible, but make each of them as large as possible. This leads to fewer, but simpler, product terms.

    • There may be more than one valid solution.

CS231 Boolean Algebra


Finding sop format from minterm
Finding SOP Format from minterm

  • F(x,y,z) = Σm(0,1,2,4)

  • F =

CS231 Boolean Algebra


Finding sop format from minterm1
Finding SOP Format from minterm

  • F(x,y,z) = Σm(0,1,2,4)

  • F = y’z’ + x’z’ + x’y’

CS231 Boolean Algebra


Finding pos format from minterm
Finding POS Format from minterm

  • F(x,y,z) = Σm(0,1,2,4)

  • F’(x,y,z) = Σm(3,5,6,7)

  • F’ =

  • F =

CS231 Boolean Algebra


Finding pos format from minterm1
Finding POS Format from minterm

  • F(x,y,z) = Σm(0,1,2,4)

  • F’(x,y,z) = Σm(3,5,6,7)

  • F’ = yz + xz + xy

  • F = (y’+z’)(x’+z’)(x’+y’)

CS231 Boolean Algebra


Finding minimal sop pos from boolean expression
Finding minimal SOP/POS from Boolean Expression

  • F(w,x,y,z) = w’x’ + yz’ + wxy + w’x’yz’ + wxy’z + w’y’z’

  • Minimal SOP: F =

CS231 Boolean Algebra


Finding minimal sop pos from boolean expression1
Finding minimal SOP/POS from Boolean Expression

  • F(w,x,y,z) = w’x’ + yz’ + wxy + w’x’yz’ + wxy’z + w’y’z’

  • Minimal SOP: F =w’x’ + yz’ + w’z’ + wxz

CS231 Boolean Algebra


Finding minimal sop pos from boolean expression2
Finding minimal SOP/POS from Boolean Expression

  • F(w,x,y,z) = w’x’ + yz’ + wxy + w’x’yz’ + wxy’z + w’y’z’

  • Min SOP of F’ =

  • Min POS of F =

CS231 Boolean Algebra


Finding minimal sop pos from boolean expression3
Finding minimal SOP/POS from Boolean Expression

  • F(w,x,y,z) = w’x’ + yz’ + wxy + w’x’yz’ + wxy’z + w’y’z’

  • Min SOP of F’ = w’xz + wx’z + wy’z’

  • Min POS of F = (w+x’+z’)(w’+x+z’)(w’+y+z)

CS231 Boolean Algebra


Don t care conditions
Don’t-Care Conditions

  • Occasionally, we don’t care what the value of a function is for certain minterms.

    • When a certain input(s) will never happen. E.g. when dealing with Binary-coded decimal (BCD), the inputs for 1010-1111 (10-15) will never occur.

    • When a certain input(s) will occur, but we don’t care what the output will be in response to them. E.g. imagine a circuit which counts votes and has two outputs: a Yes/No output and a output which indicates ‘Tie’. If the vote is a tie, we don’t care whether the Yes/No output is 1 or 0.

  • We can either include or exclude these minterms in our function, whichever allows us to create the simplest representation.

  • On our K-map, we represent these minterms with an ‘x’ to indicate that it may or may not be grouped.

CS231 Boolean Algebra


Practice don t care
Practice: Don’t Care

  • f(w,x,y,z) = Σm(1,3,7,11,15)

  • d(w,x,y,z) = Σd(0,2,5)

CS231 Boolean Algebra


Practice don t care1

f(w,x,y,z) = Σm(1,3,7,11,15)

d(w,x,y,z) = Σd(0,2,5)

F(w,x,y,z) = yz + w’x’

F(w,x,y,z) = yz + w’z

NOT equivalent,

but both valid.

Practice: Don’t Care

CS231 Boolean Algebra


Summary
Summary

  • We can use K-maps to find the minimal Sum of Products (MSP) given some representation of a function.

  • The minimal Product of Sums of a function can be found by complementing the MSP of that function’s complement. Thus K-maps can be used to find a minimal PoS.

  • Don’t-care conditions allow us to simplify the expression (and thus the circuit) for functions where we’re only concerned about some of the inputs. This can result in multiple functions which are algebraically unequal, but both of which correctly meet the specifications of our function.

CS231 Boolean Algebra


ad