|
|
Line 1: |
Line 1: |
| {{Distinguish2|[[combinatory logic]], a topic in mathematical logic}}
| | As a trusted expert on world business developments which includes ?big data?, self-employment and the social media trend, I attempt to create only the best quality and most sound data. I'm the writer of the award winning publication, How To Market for the Freelancer and a frequent speaker for several [http://www.bbc.co.uk/search/?q=online+organisations online organisations]. I have talked about worldwide mega trends, big data and the social media trend at seminars and business gatherings around the globe.<br><br>Visit my web blog cheap vacation package deals; [http://4crv.com/4 Click To See More], |
| | |
| In [[digital circuit]] theory, '''combinational logic''' (sometimes also referred to as '''time-independent logic'''<ref>
| |
| C.J. Savant, Jr.; Martin Roden; Gordon Carpenter.
| |
| "Electronic Design: Circuits and Systems".
| |
| 1991.
| |
| ISBN 0-8053-0285-9
| |
| p. 682
| |
| </ref>
| |
| ) is a type of [[digital logic]] which is implemented by [[Boolean circuit]]s, where the output is a [[pure function]] of the present input only. This is in contrast to [[sequential logic]], in which the output depends not only on the present input but also on the history of the input. In other words, sequential logic has ''[[computer storage|memory]]'' while combinational logic does not.
| |
| | |
| Combinational logic is used in [[computer]] circuits to perform [[Boolean algebra (logic)|Boolean algebra]] on input signals and on stored data. Practical computer circuits normally contain a mixture of combinational and sequential logic. For example, the part of an [[arithmetic logic unit]], or ALU, that does mathematical calculations is constructed using combinational logic. Other circuits used in computers, such as [[half adder]]s, [[full adder]]s, [[half subtractor]]s, [[Half subtractor|full subtractor]]s, [[multiplexer]]s, [[Multiplexer|demultiplexer]]s, [[encoder]]s and [[decoder]]s are also made by using combinational logic.
| |
| | |
| ==Representation==
| |
| Combinational logic is used to build circuits that produce specified outputs from certain inputs. The construction of combinational logic is generally done using one of two methods: a sum of products, or a product of sums. A sum of products can be visualized in a truth table, as in this example:
| |
| | |
| {| class="wikitable" style="margin: 1em auto 1em auto; text-align:center;"
| |
| |-
| |
| ! <math>A</math> || <math>B</math> || <math>C</math> || Result || [[logical equivalence|Logical equivalent]]
| |
| |-
| |
| | F || F || F || F || <math>\neg A \cdot \neg B \cdot \neg C</math>
| |
| |-
| |
| | F || F || T || F || <math>\neg A \cdot \neg B \cdot C</math>
| |
| |-
| |
| | F || T || F || F || <math>\neg A \cdot B \cdot \neg C</math>
| |
| |-
| |
| | F || T || T || F || <math>\neg A \cdot B \cdot C</math>
| |
| |-
| |
| | T || F || F || T || <math>A \cdot \neg B \cdot \neg C</math>
| |
| |-
| |
| | T || F || T || F || <math>A \cdot \neg B \cdot C</math>
| |
| |-
| |
| | T || T || F || F || <math>A \cdot B \cdot \neg C</math>
| |
| |-
| |
| | T || T || T || T || <math>A \cdot B \cdot C</math>
| |
| |}
| |
| | |
| Using sum of products, all logical statements which yield true results are summed, giving the result:
| |
| | |
| : <math>A \cdot \neg B \cdot \neg C + A \cdot B \cdot C \,</math> | |
| | |
| Using [[Boolean algebra (logic)|Boolean algebra]], the result simplifies to the following equivalent of the truth table:
| |
| | |
| : <math>A \cdot (\neg B \cdot \neg C + B \cdot C) \,</math>
| |
| | |
| ==Logic formula minimization==
| |
| Minimization (simplification) of combinational logic formulas is done using the following rules:
| |
| | |
| : <math>(A + B) \cdot (A + C) = A + (B \cdot C)</math>
| |
| : <math>\quad (A \cdot B) + (A \cdot C) = A \cdot (B + C)</math>
| |
| | |
| : <math>A + (A \cdot B) = A</math>
| |
| : <math>\quad A \cdot (A + B) = A</math>
| |
| | |
| : <math>A + (\lnot A \cdot B) = A + B</math>
| |
| : <math>\quad A \cdot(\lnot A + B) = A \cdot B</math>
| |
| | |
| : <math>(A + B)\cdot(\lnot A + B)=B</math>
| |
| : <math>\quad (A \cdot B) + (\lnot A \cdot B)=B</math>
| |
| | |
| : <math>(A \cdot B) + (\lnot A \cdot C) + (B \cdot C) = (A \cdot B) + (\lnot A \cdot C)</math>
| |
| : <math>(A + B) \cdot (\lnot A + C) \cdot (B + C) = (A + B) \cdot (\lnot A + C)</math>
| |
| | |
| With the use of minimization (sometimes called [[logic optimization]]), a simplified logical function or circuit may be arrived upon, and the logic [[combinational circuit]] becomes smaller, and easier to analyse, use, or build.
| |
| | |
| == Terminology ==
| |
| | |
| Some people claim that the term "combinatorial logic" is preferred over "combinational circuit",
| |
| although others make the opposite recommendation.
| |
| <ref> | |
| Clive Maxfield.
| |
| [http://books.google.com/books?id=kQuOKBSOz5QC&pg=PA70&dq=%22combinatorial+logic%22&hl=en&sa=X&ei=vBSdULe_LMPHqQGploDoCg&ved=0CEQQ6AEwBw#v=onepage&q=%22combinatorial%20logic%22&f=false "FPGAs: World Class Designs"].
| |
| p. 70.
| |
| 2009.
| |
| ISBN 1856176215
| |
| </ref><ref> | |
| Cliff Cummings.
| |
| [http://www.sunburst-design.com/papers/Technical_Text_Mistakes.pdf "Common Mistakes In Technical Texts"]. | |
| 2009.
| |
| </ref>
| |
| | |
| ==See also==
| |
| * [[Sequential logic]]
| |
| * [[Asynchronous logic]]
| |
| * [[FPGA]]
| |
| * [[Formal verification]]
| |
| | |
| ==References==
| |
| {{reflist}}
| |
| * Michael Predko and Myke Predko, ''Digital electronics demystified'', McGraw-Hill, 2004. ISBN 0-07-144141-7
| |
| | |
| == External links ==
| |
| * [http://www.ee.surrey.ac.uk/Projects/Labview/combindex.html Combinational Logic & Systems Tutorial Guide] by D. Belton, R. Bigwood.
| |
| | |
| {{DEFAULTSORT:Combinational Logic}}
| |
| [[Category:Logic in computer science]]
| |
| [[Category:Digital electronics]]
| |
As a trusted expert on world business developments which includes ?big data?, self-employment and the social media trend, I attempt to create only the best quality and most sound data. I'm the writer of the award winning publication, How To Market for the Freelancer and a frequent speaker for several online organisations. I have talked about worldwide mega trends, big data and the social media trend at seminars and business gatherings around the globe.
Visit my web blog cheap vacation package deals; Click To See More,