Digital Electronics

ACSL digital electronics problems give you a circuit diagram made of logic gates and ask you to find the output, simplify the circuit, or determine which inputs produce a given output. This is Boolean algebra made physical - the same rules apply, but now you’re reading a diagram instead of an equation.

The gates

Every gate takes one or more binary inputs (0 or 1) and produces one binary output.

BUFFER gate

One input, one output. Output equals the input with no change. Rarely appears alone in problems, but is part of the official gate set.

BUFFER gate symbol
InOut

NOT gate (inverter)

One input, one output. Flips the bit.

NOT gate symbol
InOut

AND gate

Output is 1 only when all inputs are 1.

AND gate symbol
ABOut

OR gate

Output is 1 when any input is 1.

OR gate symbol
ABOut

NAND gate (NOT AND)

The opposite of AND. Output is 0 only when all inputs are 1. The small circle on the output means “invert.”

NAND gate symbol
ABOut

NOR gate (NOT OR)

The opposite of OR. Output is 1 only when all inputs are 0.

NOR gate symbol
ABOut

XOR gate

Output is 1 when inputs differ.

XOR gate symbol
ABOut

XNOR gate (NOT XOR)

Output is 1 when inputs are the same.

XNOR gate symbol
ABOut

Note: there is some ambiguity when converting a diagram to a Boolean expression. For example, could be an OR gate followed by a NOT gate, or simply a NOR gate. ACSL problems will make the intended circuit clear from the diagram.

Reading a circuit diagram

Work left to right (inputs to output), evaluating one gate at a time.

Example:

A ──┐
    AND──┐
B ──┘    OR── Output
C ───────┘

Step 1: AND gate takes A and B. Output . Step 2: OR gate takes and C. Output .

If , , :

  • AND:
  • OR:

Output = 1

Multi-layer circuits

For deeper circuits with several layers of gates, label intermediate wires.

Example:

A ──┐
    AND── W1 ──┐
B ──┘          OR── W3 ──▷○── Output
C ──┐          │
    OR── W2 ───┘
D ──┘

W1 = A AND B = W2 = C OR D = W3 = W1 OR W2 = Output = NOT W3 =

Speed tip: Label each gate’s output as you go. Don’t try to hold everything in your head.

From circuit to Boolean expression

Trace from inputs to output, writing the expression for each gate:

  1. Start at the final output gate
  2. Write what that gate does to its inputs
  3. Replace each input with its sub-expression
  4. Simplify using Boolean algebra laws

Example:

A ─▷○── NOT_A ──┐
                 AND── Output
B ───────────────┘

Output

From Boolean expression to circuit

Go the other direction - break the expression into gates:

For :

  1. OR gate: inputs A and B, output
  2. NOT gate: input C, output
  3. AND gate: inputs and , output

Truth table from circuit

For problems asking “find all inputs that produce output 1,” build a truth table.

Example: Circuit implements

ABC

Output is 1 for inputs: (0,0,1), (0,1,1), (1,1,0), (1,1,1).

Reasoning backward (faster method)

For circuits with many inputs, truth tables get large (4 inputs = 16 rows). Instead, reason backward from the output gate.

Example: Find all inputs that make this circuit FALSE:

A ──┐
    NAND──┐
B ──┘      OR── Output
C ─────────┘

The circuit is . For this to be FALSE, the OR gate must output 0, which means both its inputs must be 0:

  • (one input to OR must be 0)
  • , which means , so and

Only one answer: (1, 1, 0)

This took 3 lines of reasoning instead of an 8-row truth table.

Circuit simplification

If a circuit is complex, write the Boolean expression, simplify using Boolean algebra (see the Boolean Algebra lesson), then redraw.

Example: A circuit implements .

Simplify:

The simplified circuit is just an OR gate with inputs A and B.

Common mistakes

  1. Forgetting the inversion bubble. The small circle on NAND/NOR/NOT gates flips the output. Missing it changes everything.
  2. Wrong gate read. AND vs OR confusion under time pressure. Double-check each gate symbol.
  3. Evaluating gates in wrong order. Always work from inputs toward output, layer by layer.
  4. DeMorgan’s in circuits. A NAND gate is , not .
  5. Assuming left-to-right is top-to-bottom. Read the actual wire connections, not the visual position.

Contest strategy

  • Label every intermediate wire with its value (when evaluating) or expression (when deriving)
  • For “find the output” problems: plug in values left to right, gate by gate (~30 seconds)
  • For “write the expression” problems: trace from output back to inputs (~45 seconds)
  • For “simplify” problems: get the expression first, then use Boolean algebra laws (~60-90 seconds)
  • For truth table problems with 2 variables, just enumerate all 4 cases. With 3 variables, all 8 cases.
  • Typical time: 45-90 seconds depending on problem type