Updated Fall 2021 Robucci
Updated Spring 2022 Robucci. Verilog pushed out of this lab for later to emphasis learning relation ships among switching functions, logic gates depicted in logic diagrams, and physical circuit components. IC depictions, symbols, and significant text modification. Expanded use of terms like boolean switching functions, logic diagrams, and circuit diagrams. Mentioned option for using a schematic-entry tool. Equipment and materials rewritten more clearly.
In this labs students will learn to apply DeMogan’s Theorem to manipulate a logical expression and verify the operation, changing its mapping to digital logic gates. Students will work to develop their understanding of the relationship among Boolean switching functions, depictions in logic diagrams, and circuit diagrams and physical circuit implementations. In this lab, the physical circuit implementations are realized using 74LS series packaged gates. In this lab each physical IC has four logical gates, thus the use of Quad in the name of each, e.g. Quad 2-Input NAND, Quad 2-Input NOR, and Quad 2-Input AND. Students will exercise their ability to provide digital inputs using variants of the input generation and LED-based output indicator circuits used in previous labs.
De Morgan’s laws
In propositional logic and boolean algebra, De Morgan’s laws are a pair of transformation rules that are both valid rules of inference. These rules can be expressed as:
–quoted from https://en.wikipedia.org/wiki/De_Morgan’s_laws Wikipedia contributors. “De Morgan’s laws.” Wikipedia, The Free Encyclopedia. Wikipedia, The Free Encyclopedia, 9 Sep. 2021. Web. 22 Sep. 2021.
In this example, a circuit having an and an gate will be analyzed and through manipulation of a switching function it will be redesigned using and gates.
The circuit suggested by the following logic diagram will be represented by a switching expression, which will then be manipulated so that a new alternative circuit can be built that has an equivalent functional model. The new circuit will be physically map to gates and a (a.k.a. an inverter).
(pin numbers in this logic diagram correspond to pin numbers on your discrete 74LS ICs)
As the equation shows, the function can be mapped to two gates as demonstrated in the following figure. The bubbles (tiny circles) on digital logic circuit symbols represent logical inversion.
The truth table of this circuit including inputs, output, and intermediate signals are given below:
Inputs | Intermediate Signals in Circuit 1 |
Intermediate Signals in Circuit 2 |
Output | |||
---|---|---|---|---|---|---|
A | B | C | p | m | n | F |
L | L | L | L | H | H | L |
L | L | H | L | H | L | L |
L | H | L | H | L | H | L |
L | H | H | H | L | L | H |
H | L | L | H | L | H | L |
H | L | H | H | L | L | H |
H | H | L | H | L | H | L |
H | H | H | H | L | L | H |
For the circuit represented by the following logic diagram, create an alternative implementation using DeMorgan’s Law, in the same manor as the example. Below you’ll need to complete the derivation of the alternate switching function and draw a logic diagram and finally depict the NAND-only version implemented of the circuit and complete the Truth Table for both implementations.
The ICs that will be used are depicted below. Each has four physical logic gates.
The first circuit can be represented by the following logic diagram. Note that the power-supply connections are not represented. Additionally, the logic diagram has been annotated with pin numbers chosen from the physical packages.
Equation with Initial Expression
Complement both sides of the equation
= |
---|
Apply De Morgan rule to the right-hand side
Complement both sides of the equation for the final Implementation (in this example comprises only NAND gates)
Finally, draw the logic diagram of the implementation with the only gates being gates.
In your diagram, label the output of the first gate and the output of the other gate
Additionally, annotate the inputs and output of the symbols with the physical pin numbers of the 74LS00 IC. This will aid contruction of the circuit. The datasheet is linked to in the Equipment and Materials Section for your convenience.
Lastly, fill in the following truth table for both implementations.
Inputs | Output | Output | ||||||
---|---|---|---|---|---|---|---|---|
A | B | C | generated x | generated y | F (original circuit) |
generated u | generated v | F (alternate circuit) |
Pre-lab submission
The steps of the derivation alternate boolean switching function, logic diagram and truth table shall comprise your pre-lab submission 📝.
It would likely help to sketch a depiction of your circuit to aid planning and to reference as you build, debug, and demonstrate your circuit.
You can draw the circuit diagram using symbols like the following.
You can include input-generation circuits and LED output indicator circuits according if they may help you.
You can also use a schematic capture/ schematic entry tool to draw circuit diagrams. One such free online example is https://www.digikey.com/schemeit
Construct both circuits from the pre-lab, the one represented in the provided logic diagram and your design of the NAND-gate-only implementation. You must construct appropriate input-generation circuit and LED-based output indicators. These may be variants of the circuits used in previous labs.
📝 TA Verification
Have the TA check and record your completion.
You should submit a brief technical written report as usual, but this time your report must include the following. The report in this lab is 10% of the lab grade.
You report should include the follow.