Skip to content

Boolean Algebra

  • All boolean expressions have logical duals

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

  • Replace

  • Leave variables unchanged

  • Replace

  • Replace all variables with their complements