Boolean Laws Explorer

← Back to Unit 2

Description

Explore the fundamental laws of Boolean algebra including identity, null, idempotent, complement, commutative, associative, distributive, absorption, and De Morgan's laws.

Learning Objectives

Bloom Level: Understand (L2)

After using this MicroSim, students will be able to:

  • ✓ Explain each Boolean algebra law
  • ✓ Verify laws using truth tables
  • ✓ Apply laws to simplify expressions

Laws Covered

  1. Identity: A·1 = A, A+0 = A
  2. Null: A·0 = 0, A+1 = 1
  3. Idempotent: A·A = A, A+A = A
  4. Complement: A·A' = 0, A+A' = 1
  5. Double Negation: (A')' = A
  6. Commutative: A·B = B·A, A+B = B+A
  7. Associative: (A·B)·C = A·(B·C)
  8. Distributive: A·(B+C) = A·B + A·C
  9. Absorption: A + A·B = A
  10. De Morgan's: (A·B)' = A' + B'

How to Use

  1. Select a law from the dropdown
  2. Study the equations and description
  3. Examine the verification tables
  4. Verify how the law holds for all input combinations

References