IM System Architecture

Logic

Boolean Algebra

The following are a set of basic identities forming a subset of the laws of logic. These may be verified by use of the truth tables.

Rules of Boolean Algebra

  1. A is either 0 or 1

  2. Commutative
    1. A.B = B.A
    2. A+B = B+A

  3. Distributive
    1. A.(B+C) = A.B + A.C
    2. A + B.C = (A+B).(A+C)

  4. Identity
    1. A + 0 = A
    2. A + 1 = 1
    3. A.1 = A
    4. A.0 = 0

  5. Inverse
    1. A + not(A) = 1
    2. A.not(A) = 0

  6. De Morgan's Laws
    1. not(A+B) = not(A).not(B)
    2. not(A.B) = not(A) + not(B)

Back to Logic Notes

Back to System Architecture Home Page