Switching Algebra

- Mathematic rules that give the behavior of switching equations.

- Permits the design to use less hardware.

v Equivalence of variables

- Two variables are equivalent if they contain the same values.

v Set

- A set is closed with respect to a binary operation if the operation is applied to members of set, the result is a member of the set.

- Example: B = {0, 1}

B is closed with respect to AND

B is closed with respect to OR

v Identity

I_e * AND I_e = X à I_e = 1

I_e * OR I_e = X à I_e = 0