Logic Circuit: Difference between revisions
| (7 intermediate revisions by the same user not shown) | |||
| Line 5: | Line 5: | ||
# ''The primary control information processor in digital equipment; made up of electronic gates, and so named because their operation is described by simple equations of specialized logic algebra.'' | # ''The primary control information processor in digital equipment; made up of electronic gates, and so named because their operation is described by simple equations of specialized logic algebra.'' | ||
# A logic circuit is a fundamental building block of digital systems that processes binary information using interconnected logic gates. These gates (such as AND, OR, NOT, NAND, etc.) are electronic components whose behavior is governed by Boolean algebra, the mathematical framework for manipulating variables that have only two possible states (0 and 1). | # A logic circuit is a fundamental building block of digital systems that processes binary information using interconnected logic gates. These gates (such as AND, OR, NOT, NAND, etc.) are electronic components whose behavior is governed by Boolean algebra, the mathematical framework for manipulating variables that have only two possible states (0 and 1). | ||
=== Overview === | === Overview === | ||
Logic circuits form the foundational building blocks of virtually all modern [https://en.wiktionary.org/wiki/digital digital] systems, including [https://en.wiktionary.org/wiki/microprocessor microprocessors], [https://en.wiktionary.org/wiki/memory memory units], [https://en.wiktionary.org/wiki/arithmetic arithmetic] [https://en.wiktionary.org/wiki/logic logic] units (ALUs), and [https://en.wiktionary.org/wiki/programmable programmable] controllers. Unlike [https://en.wiktionary.org/wiki/analog analog] [https://en.wiktionary.org/wiki/circuit circuits], which process continuously varying [https://en.wiktionary.org/wiki/signal signals], logic circuits operate on discrete [https://en.wiktionary.org/wiki/binary binary] states | Logic circuits form the foundational building blocks of virtually all modern [https://en.wiktionary.org/wiki/digital digital] systems, including [https://en.wiktionary.org/wiki/microprocessor microprocessors], [https://en.wiktionary.org/wiki/memory memory units], [https://en.wiktionary.org/wiki/arithmetic arithmetic] [https://en.wiktionary.org/wiki/logic logic] units (ALUs), and [https://en.wiktionary.org/wiki/programmable programmable] controllers. Unlike [https://en.wiktionary.org/wiki/analog analog] [https://en.wiktionary.org/wiki/circuit circuits], which process continuously varying [https://en.wiktionary.org/wiki/signal signals], logic circuits operate on discrete [https://en.wiktionary.org/wiki/binary binary] states, conventionally represented as '''0''' (low/false) and '''1''' (high/true). | ||
The behavior of any logic circuit, regardless of complexity, can be fully described and predicted using the equations of [https://en.wiktionary.org/wiki/Boolean_algebra Boolean algebra], first formalized by mathematician [https://en.wikipedia.org/wiki/George_Boole George Boole] in the mid-nineteenth century and later adapted for [https://en.wiktionary.org/wiki/electrical electrical] [https://en.wiktionary.org/wiki/engineering engineering] by [https://en.wikipedia.org/wiki/Claude_Shannon Claude Shannon] in his landmark 1937 thesis. | The behavior of any logic circuit, regardless of complexity, can be fully described and predicted using the equations of [https://en.wiktionary.org/wiki/Boolean_algebra Boolean algebra], first formalized by mathematician [https://en.wikipedia.org/wiki/George_Boole George Boole] in the mid-nineteenth century and later adapted for [https://en.wiktionary.org/wiki/electrical electrical] [https://en.wiktionary.org/wiki/engineering engineering] by [https://en.wikipedia.org/wiki/Claude_Shannon Claude Shannon] in his landmark 1937 thesis. | ||
=== Electronic Gates === | === Electronic Gates === | ||
The elemental components of a logic circuit are [https://en.wikipedia.org/wiki/Logic_gate logic gates] — discrete [https://en.wiktionary.org/wiki/electronic electronic] [https://en.wiktionary.org/wiki/switching switching] elements that accept one or more [https://en.wiktionary.org/wiki/binary binary] inputs and produce a single binary output according to a defined logical [https://en.wiktionary.org/wiki/function function]. The fundamental gate types include: | |||
The elemental components of a logic circuit are [ | |||
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
! Gate !! Symbol !! Boolean Expression !! Description | ! Gate !! Symbol !! Boolean Expression !! Description | ||
|- | |- | ||
| [ | | [https://en.wikipedia.org/wiki/AND_gate AND] || · || A · B || Output is 1 only when ''all'' inputs are 1 | ||
|- | |- | ||
| [ | | [https://en.wikipedia.org/wiki/OR_gate OR] || + || A + B || Output is 1 when ''at least one'' input is 1 | ||
|- | |- | ||
| [ | | [https://en.wikipedia.org/wiki/Inverter_(logic_gate) NOT] || ¬ / ′ || Ā || Output is the logical inverse of the input | ||
|- | |- | ||
| [ | | [https://en.wikipedia.org/wiki/NAND_gate NAND] || ↑ || ¬(A · B) || Complement of AND; universal gate | ||
|- | |- | ||
| [ | | [https://en.wikipedia.org/wiki/NOR_gate NOR] || ↓ || ¬(A + B) || Complement of OR; universal gate | ||
|- | |- | ||
| [ | | [https://en.wikipedia.org/wiki/XOR_gate XOR] || ⊕ || A ⊕ B || Output is 1 when inputs ''differ'' | ||
|- | |- | ||
| [ | | [https://en.wikipedia.org/wiki/XNOR_gate XNOR] || ⊙ || ¬(A ⊕ B) || Output is 1 when inputs are ''equal'' | ||
|} | |} | ||
=== Logic Algebra === | === Logic Algebra === | ||
The operation of [https://en.wiktionary.org/wiki/logic logic] circuits is governed by '''logic algebra''' ([https://en.wikipedia.org/wiki/Boolean_algebra Boolean algebra]), a formal [https://en.wiktionary.org/wiki/system system] in which [https://en.wiktionary.org/wiki/variable variables] take only the values 0 or 1, and [https://en.wiktionary.org/wiki/expression expressions] are evaluated using logical [https://en.wiktionary.org/wiki/operator operators]. Key identities include: | |||
The operation of logic circuits is governed by '''logic algebra''' (Boolean algebra), a formal system in which variables take only the values 0 or 1, and expressions are evaluated using logical operators. Key identities include: | * '''[https://en.wikipedia.org/wiki/Identity_element Identity laws]:''' A + 0 = A ; A · 1 = A | ||
* '''[https://en.wikipedia.org/wiki/Absorbing_element Null laws]:''' A + 1 = 1 ; A · 0 = 0 | |||
* '''Identity laws:''' A + 0 = A ; A · 1 = A | * '''[https://en.wikipedia.org/wiki/Idempotence Idempotent laws]:''' A + A = A ; A · A = A | ||
* '''Null laws:''' A + 1 = 1 ; A · 0 = 0 | * '''[https://en.wikipedia.org/wiki/Complement_(set_theory) Complement laws]:''' A + Ā = 1 ; A · Ā = 0 | ||
* '''Idempotent laws:''' A + A = A ; A · A = A | * '''[https://en.wikipedia.org/wiki/De_Morgan%27s_laws De Morgan's theorems]:''' ¬(A · B) = Ā + B̄ ; ¬(A + B) = Ā · B̄ | ||
* '''Complement laws:''' A + Ā = 1 ; A · Ā = 0 | These identities allow engineers to simplify complex circuit [https://en.wiktionary.org/wiki/expression expressions], minimize [https://en.wiktionary.org/wiki/gate gate] count, and optimize [https://en.wiktionary.org/wiki/performance performance], a process formally known as [https://en.wikipedia.org/wiki/Logic_minimization logic minimization]. | ||
* '''De Morgan's theorems:''' ¬(A · B) = Ā + B̄ ; ¬(A + B) = Ā · B̄ | |||
These identities allow engineers to simplify complex circuit expressions, minimize gate count, and optimize performance | |||
=== Types of Logic Circuits === | === Types of Logic Circuits === | ||
Logic circuits are broadly classified into two [https://en.wiktionary.org/wiki/category categories]: | |||
Logic circuits are broadly classified into two categories: | ; [https://en.wikipedia.org/wiki/Combinational_logic Combinational Logic Circuits] | ||
: The [https://en.wiktionary.org/wiki/output output] at any instant depends ''only'' on the current [https://en.wiktionary.org/wiki/combination combination] of [https://en.wiktionary.org/wiki/input inputs]. They contain no [https://en.wiktionary.org/wiki/memory memory] or [https://en.wiktionary.org/wiki/feedback feedback] elements. Examples include [https://en.wikipedia.org/wiki/Adder_(electronics) adders], [https://en.wikipedia.org/wiki/Multiplexer multiplexers], [https://en.wikipedia.org/wiki/Binary_decoder decoders], and [https://en.wikipedia.org/wiki/Comparator comparators]. | |||
; [ | ; [https://en.wikipedia.org/wiki/Sequential_logic Sequential Logic Circuits] | ||
: The output at any instant depends ''only'' on the current combination of inputs. They contain no memory or feedback elements. Examples include [ | : The output depends on both the current inputs ''and'' the history of past inputs, stored in internal [https://en.wikipedia.org/wiki/Flip-flop_(electronics) flip-flops] or [https://en.wikipedia.org/wiki/Latch_(electronics) latches]. Examples include [https://en.wikipedia.org/wiki/Counter_(digital) counters], [https://en.wikipedia.org/wiki/Shift_register shift registers], and [https://en.wikipedia.org/wiki/Finite-state_machine finite-state machines]. | ||
; [ | |||
: The output depends on both the current inputs ''and'' the history of past inputs, stored in internal [ | |||
=== Implementation Technologies === | === Implementation Technologies === | ||
Modern [https://en.wiktionary.org/wiki/logic logic] circuits are [https://en.wiktionary.org/wiki/implemented implemented] using a variety of [https://en.wiktionary.org/wiki/technology technologies]: | |||
Modern logic circuits are implemented using a variety of technologies: | * '''[https://en.wikipedia.org/wiki/Transistor%E2%80%93transistor_logic Transistor-transistor logic] (TTL)''' — a legacy [https://en.wiktionary.org/wiki/bipolar bipolar] [https://en.wiktionary.org/wiki/transistor transistor] family widely used from the 1960s through the 1990s. | ||
* '''[https://en.wikipedia.org/wiki/CMOS CMOS] (Complementary Metal-Oxide-Semiconductor)''' — the dominant [https://en.wiktionary.org/wiki/technology technology] in contemporary [https://en.wikipedia.org/wiki/Integrated_circuit integrated circuits], prized for low [https://en.wiktionary.org/wiki/power power] [https://en.wiktionary.org/wiki/consumption consumption]. | |||
* '''[ | * '''[https://en.wikipedia.org/wiki/Programmable_logic_device PLDs] and [https://en.wikipedia.org/wiki/Field-programmable_gate_array FPGAs]''' — [https://en.wiktionary.org/wiki/reconfigurable reconfigurable] [https://en.wiktionary.org/wiki/device devices] allowing logic circuits to be defined and modified in [https://en.wiktionary.org/wiki/software software]. | ||
* '''[ | * '''[https://en.wikipedia.org/wiki/Application-specific_integrated_circuit ASICs]''' — custom-fabricated circuits [https://en.wiktionary.org/wiki/optimized optimized] for a specific [https://en.wiktionary.org/wiki/application application]. | ||
* '''[ | |||
* '''[ | |||
=== See Also === | === See Also === | ||
* [https://en.wikipedia.org/wiki/Boolean_algebra Boolean algebra] | |||
* [ | * [https://en.wikipedia.org/wiki/Digital_electronics Digital electronics] | ||
* [ | * [https://en.wikipedia.org/wiki/Logic_gate Logic gate] | ||
* [ | * [https://en.wikipedia.org/wiki/Combinational_logic Combinational logic] | ||
* [ | * [https://en.wikipedia.org/wiki/Sequential_logic Sequential logic] | ||
* [ | * [https://en.wikipedia.org/wiki/Integrated_circuit Integrated circuit] | ||
* [ | * [https://en.wikipedia.org/wiki/Truth_table Truth table] | ||
* [ | * [https://en.wikipedia.org/wiki/Karnaugh_map Karnaugh map] | ||
* [ | |||
=== Further Reading === | === Further Reading === | ||