Share on Facebook Share on Twitter Email
Answers.com

Boolean circuit

 

The "mathematics of logic," developed by English mathematician George Boole in the mid-19th century. Its rules govern logical functions (true/false) and are the foundation of all electronic circuits in the computer. As add, subtract, multiply and divide are the primary operations of arithmetic, AND, OR and NOT are the primary operations of Boolean logic. Boolean logic is turned into logic gates on the chip, and the logic gates make up logic circuits that perform functions such as how to add two numbers together.

Various permutations of AND, OR and NOT are used, including NAND, NOR, XOR and XNOR. The rules, or truth tables, for AND, OR and NOT follow. See Boolean search, binary, logic gate and Bebop to the Boolean Boogie.

Curious About the Chip?

Wired in patterns of Boolean logic and in less space than a postage stamp, transistors inside one of today's high-speed chips collectively open and close trillions of times every second. If you're curious about how it really works down deep in the layers of the silicon, read the rest of "Boolean logic," then "chip" and, finally, "transistor." It's a fascinating venture into a microscopic world.

The logic of AND, OR and NOT is implemented as transistors, which are electronic switches that are opened and closed by being pulsed. If you don't understand every last detail below, keep on going. It will come together at the end. You can always review.

AND
AND requires both inputs to be present in order to provide output. Because the AND gate is wired in series, both inputs must pulse both switches closed, and current flows from the source to the output.

OR
OR requires one input to be present in order to provide output. Because the OR gate is wired in parallel, either one or both inputs will generate output.

NOT
NOT reverses the input. If there is no pulse on the input line, the source goes directly to output, as in the diagram above. If there is a pulse on the input line, switch #1 is closed. The switch #1 current goes to switch #2 and pulses it open (it's a reverse switch), and the source current is impeded.

The Hierarchy
The gates make up circuits, and circuits make up logical devices, such as a CPU. We're going to look at a circuit that is present in every computer. It adds one bit to another.

Adding Two Bits Together
The half-adder circuit adds one bit to another and yields a one-bit result with one carry bit. This circuit in combination with a shift register, which moves over to the next bit, is how a string of binary numbers are added. This diagram shows the four possible binary additions for two bits.

The Half-Adder Circuit
Trace the current through the example above. See how AND, OR and NOT react to their inputs. The 1 is represented in red (flow of current), and the 0 in blue (no current). Try it yourself below.

Try It Yourself
Print this diagram and try your Boolean skill. Review the combinations of 0 and 1 above and pick any pair. With a pen or pencil, draw a line to represent a 1. Draw nothing for 0, and see if you can get the right answer.

Download Computer Desktop Encyclopedia to your iPhone/iTouch

Search unanswered questions...
Enter a question here...
Search: All sources Community Q&A Reference topics
Wikipedia: Boolean circuit
Top

A Boolean circuit is a mathematical model of computation used in studying computational complexity theory. Boolean circuits are the main object of study in circuit complexity; a formal language can be decided by a family of Boolean circuits, one circuit for each possible input length. In addition, Boolan circuit are used as a formal model for combinational logic in digital electronics.

Boolean circuits are defined in terms of the gates they contain. For example, a circuit might contain binary AND and OR gates and unary NOT gates, or be entirely described by binary NAND gates. Each gate corresponds to some Boolean function, meaning that it is some mathematical function which takes k bits as input and which outputs a single bit.

Several important complexity measures can be defined on Boolean circuits, including circuit depth, circuit size, and number of alternations. In a circuit family, we consider the size complexity, for example, of a family to be the function of n that gives the size of the circuit that decides inputs of length n.

Several important complexity classes are defined in terms of Boolean circuits, including NC. NC is defined to be the set of Boolean functions that can be decided by uniform Boolean circuits of polynomial size and polylogarithmic depth. Here the word "uniform" means that there must be some condition on the circuit family so that a description of the n'th circuit can be computed from the number n.

Formal definition

In giving a formal definition of Boolean circuits, Vollmer starts by defining a basis set B of Boolean functions, corresponding to the gates allowable in the circuit model. A Boolean circuit over a basis B, with n inputs and m outputs, is then defined as a finite directed acyclic graph. Each vertex corresponds to either a basis function or one of the inputs, and there are a set of exactly m nodes which are labeled as the outputs. [1] The edges must also have some ordering, to distinguish between different arguments to the same Boolean function. [2]

Footnotes

  1. ^ Vollmer 1999, p. 8.
  2. ^ Vollmer 1999, p. 9.

References

  • Vollmer, Heribert (1999). Introduction to Circuit Complexity. Berlin: Springer. ISBN 3-540-64310-9. 

 
 

 

Copyrights:

Computer Desktop Encyclopedia. THIS DEFINITION IS FOR PERSONAL USE ONLY.
All other reproduction is strictly prohibited without permission from the publisher.
© 1981-2010 The Computer Language Company Inc.  All rights reserved.  Read more
Wikipedia. This article is licensed under the Creative Commons Attribution/Share-Alike License. It uses material from the Wikipedia article "Boolean circuit" Read more