Boolean Algebra

Computer Organization and Digital Design 2nd Semester

Basics

Important

de Morgan’s

Two Key components

Duality :

  • All boolean expressions have logical duals

  • Any theorem that can be proved is also proved for its dual

  • Replace

  • Leave variables unchanged

de Morgan’s Theorem

  • Replace

  • Replace all variables with their complements