Design a circuit that is not minimal for a given function

Assignment Help Theory of Computation
Reference no: EM132979923

Question: A 7-segment display is an arrangement of seven LEDs (labelled i-o), as shown here. Arrays of such displays are commonly used to display characters in remote controls, blood pressure monitors, dishwashers, and other devices. Each LED can be on or off, but in most applications, only a small number of on/off combinations are of interest (such as the 10 combinations that allow the display in a digit in the range 0-9). In that case, the display can be con- trolled through a small number of input wires. For example, four input wires provide 24 input combinations, enough to cover the ten different digits.

1975_figure.jpg

Here we are interested in using a 7-segment display for some uppercase letters. We want it to be able to show eight different letters, namely A, B, C, D, E, F , G, and H. For example, to show A, all the display segments, except o, should be lit up, giving the pattern . In detail, we want the eight different letters displayed as A,B, C, D, E, F, G, and H, respectively. Since there are eight letters, we need three input wires, modelled as propositional variables P , Q, and R. We will need to decide on a suitable encoding of the eight letters. One possibility is to let A correspond to input 000 (that is, P = Q = R = f ), B to 001 (that is, P = Q = f and R = t), and so on. If we do that, we can summarise the behaviour of each input combination in the table below:

2190_figure1.jpg

Each of the seven segments i-o can be considered a propositional function of the variables P , Q, and R. This kind of display can be physically implemented with logic circuitry, using circuits to implement a boolean function for each of the outputs. Here we assume that only three types of logic gates are available: An and-gate takes two inputs and produces, as output, the conjunction (∧) of the inputs. Similarly, an or-gate implements disjunction (∨). Finally, an inverter takes a single input and negates it (¬). We can specify such a circuit by writing down the Boolean equations for each of the outputs i-o. For example, segment i is turned off (is false) exactly when the input is 111. So, i can be captured as ¬P ∨ ¬Q ∨ ¬R.

For efficiency reasons, we often want the circuit to use as few gates as possible. For example, the above equation for i shows that we can implement this output using five gates. But i = ¬(P ∧Q∧R) is an equivalent implementation, using only three gates. Moreover, the seven functions might be able to share some circuitry. For example, if we have already implemented a sub-circuit defined by u = Q ∧ R (introducing u as a name for the sub-circuit), then we can define i = ¬(P ∧ u), and we may be able to re-use u while implementing the other outputs (rather than duplicating the same gates). In some cases it may even be feasible to design a circuit that is not minimal for a given function, but provides a minimal solution when all seven functions are designed.

Task. Design such a circuit, using as few gates as possible. You can define any number of sub-circuits to help you reduce the gate count (simply give each a name).

# An example of a set of equations in the correct format: i = -Q R + Q -R + P -Q -R
j = u + P (Q + R) k = P + -(Q R)
l = u + P i u = -P -Q
# u is an auxiliary function introduced to simplify j and l

Reference no: EM132979923

Questions Cloud

What is the profit or loss : Use the profit formula to determine whether Benjamin's Backpacks makes a profit or loss if it sells 10 backpacks. What is the profit or loss
Determine whether g is valid or not : Determine whether G is valid or not. Either provide a proof that uses resolution to show validity, or else specify an interpretation that makes G false
By how much share premium would increase on February : A corporation was organized in January 2016 with authorized capital of P10 par value ordinary shares. By how much share premium would increase on February
Implement haskell function to encode the logical constraints : Implement a Haskell function to encode the logical constraints implied by an equality logic formula's connectives as a formula in propositional logic
Design a circuit that is not minimal for a given function : Design such a circuit, using as few gates as possible. You can define any number of sub-circuits to help you reduce the gate count (simply give each a name)
Writing a haskell function : Writing a Haskell function that turns an arbitrary propositional formula into an equivalent one that uses only ? and f (plus any parentheses or propositional
Understanding of propositional logic : Understanding of propositional logic and first-order predicate logic, including their use in mechanised reasoning - Capture, as a single propositional formula
What is the asset turnover for the company : What is the Asset turnover for the company? Calculate the profit margin ratio of the company and comment on the profitability performance of the company.
COMP30026 Models of Computation Assignment : COMP30026 Models of Computation Assignment Help and Solution, University of Melbourne - Assessment Writing Service

Reviews

Write a Review

Theory of Computation Questions & Answers

  Finite-state machine design

Create a finite-state machine design to turn your FPGA development board into a simple programmable music box.

  Redundant sequence identi cation

Redundant sequence identi cation

  Compute a shortest superstring

Dynamic programming algorithm to compute a shortest superstring.

  Propositional and predicate logic

Write down a structural induction principle for the PlayTree free type

  Design a syntactic analyzer

Design a syntactic analyzer for the language specified by the grammar

  Design unambiguous grammar to parse expressions

Write a program would read two numbers and then print all numbers between the first and the second, inclusive. Design unambiguous grammar to parse expressions

  Consider a logic function with three outputs

Consider a logic function with three outputs,  A ,  B , and  C , and three inputs,  D ,  E , and  F . The function is defined as follows:  A  is true if at least one input is true,  B  is true

  Considering a single programmed operating system

Considering a single programmed operating system, what is the minimal total time required to complete executions of the two processes? You should explain your answer with a diagram.

  How to construct an nfa

Give a construction that assumes you are given a DFA for L and show how to construct an NFA (with or without ε-moves) to recognize sort(L).

  Equivalence classes to construct minimal dfa for language

How many equivalence classes does this relation have and what are they? Use these equivalence classes to construct the minimal DFA for the language.

  Impact of moore-s law on data center costs

Discuss the impact of Moore's law on data center costs on such things as servers and communications equipment. List at least 3 steps or recommendations your data center can take to offset some or all of the effect of Moore's law.

  Problem encountered in statements in predicate logic

How the problem would be encountered in attempting to represent the following statements in Predicate logic. it should be possible to: John only likes to see French movies.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd