You're offline — cached pages and worlds still work
Drishti Innovations logo
Drishti Innovations

Logic Gates & Digital Circuits

Boolean operations AND, OR, NOT, XOR. Aligned with Logic Gates simulator.

Logic Gates & Digital Circuits

Logic Gates & Digital Circuits

What you'll learn

  • Review basic logic gates (AND, OR, NOT, NAND, NOR, XOR).
  • Apply Boolean algebra laws and theorems.
  • Simplify Boolean expressions using De Morgan's theorems.
  • Build simple combinational circuits (half adder, full adder).

Key concepts

Boolean Algebra Laws

LawOR formAND form
IdentityA + 0 = AA · 1 = A
NullA + 1 = 1A · 0 = 0
IdempotentA + A = AA · A = A
ComplementA + A' = 1A · A' = 0
Double Negation(A')' = A
CommutativeA + B = B + AA · B = B · A
AssociativeA+(B+C) = (A+B)+CA(BC) = (AB)C
DistributiveA(B+C) = AB + ACA+BC = (A+B)(A+C)
AbsorptionA + AB = AA(A+B) = A

De Morgan's Theorems

(A · B)' = A' + B' (A + B)' = A' · B'

"Break the bar, change the sign."

Example: Simplify (A + B)'

  • By De Morgan: A' · B' → NOR gate output

Gate Symbols & Expressions

GateExpressionTruth (2-input)
ANDY = A·B1 only when both 1
ORY = A+B0 only when both 0
NOTY = A'Inverts
NANDY = (A·B)'0 only when both 1
NORY = (A+B)'1 only when both 0
XORY = A⊕B1 when inputs differ
XNORY = (A⊕B)'1 when inputs same

Universal Gates

NAND and NOR are universal — any Boolean function can be built using only NAND (or only NOR) gates.

Building NOT from NAND: Connect both inputs of a NAND → output = (A·A)' = A'

Half Adder

Adds two 1-bit numbers:

ABSum (S)Carry (C)
0000
0110
1010
1101
  • S = A ⊕ B (XOR gate)
  • C = A · B (AND gate)

Full Adder

Adds three 1-bit numbers (A, B, Carry-in):

  • S = A ⊕ B ⊕ Cin
  • Cout = (A·B) + (B·Cin) + (A·Cin)

Chain full adders for multi-bit addition (ripple carry adder).

Simplification Example

Simplify: Y = A'B + AB' + AB

Step 1: Y = A'B + A(B' + B) Step 2: Y = A'B + A·1 Step 3: Y = A'B + A Step 4: Y = (A + A')(A + B) — using absorption Step 5: Y = A + B ← simplified

Combinational vs Sequential Circuits

TypeOutput depends onMemoryExample
CombinationalCurrent inputs onlyNoAdder, MUX, decoder
SequentialInputs + past stateYes (flip-flops)Counter, register

Quick check

  • State De Morgan's first theorem and verify with a truth table for A=1, B=0.
  • Draw the circuit for a half adder and write its Boolean expressions.
  • Simplify: Y = AB + AB' + A'B.
  • Why is NAND called a universal gate?
  • What is the difference between combinational and sequential circuits?

Open the Practice tab for graded questions on Logic Gates & Digital Circuits.

Key Takeaways (TL;DR)

  • What you'll learn
  • Key concepts
  • Quick check

Master this topic with Drishti OS

Get unlimited mock tests, AI-powered mentorship, and complete video courses when you join.

Start Free Practice