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
- A is either 0 or 1
- Commutative
- A.B = B.A
- A+B = B+A
- Distributive
- A.(B+C) = A.B + A.C
- A + B.C = (A+B).(A+C)
- Identity
- A + 0 = A
- A + 1 = 1
- A.1 = A
- A.0 = 0
- Inverse
- A + not(A) = 1
- A.not(A) = 0
- De Morgan's Laws
- not(A+B) = not(A).not(B)
- not(A.B) = not(A) + not(B)
Back to Logic Notes
Back to System Architecture Home Page