Purpose:
To get rid of the unnecessary.
To get the connection between or

Problems:
Below is the seed problem of two variables from which we can derive the algorithm.

Problem 1. AB + A + B
Solving:
1. AB + A + B
2. (AB + A) + B ; adding parantheses
3. A . (B + 1) + B ; look for a
4. A . 1 + B ; (B+1) is equal to 1
5. A + B ; Done /Finish


Problem 2. AB + A
Solving:
1. A.B + A
2. A(B+1)
3. A.1
4. A

Problem 1. A OR A or in other case:
A + A
Solving:
1. I build truth table to solve this.
A A OUT
0 0 0
1 1 1

2. Conclude that OUT is the same value with A, so, A + A is equal to A.

Problem 0. AB + AB
Solve:
1. AB + AB
2. A(B+B)
3. AB