4. A*(A+C)+(A+B)*(A+!B) = A
A*(A+C)+(A+B)*(A+!B)
Distribution
A*A+A*C+A*A+A*!B+A*B+B*!B
Idempotent
A+A*C+A*!B+A*B+B*!B
Identity
A*1+A*C+A*!B+A*B+B*!B
Distribution
A*(1+C+!B+B)+B*!B
Null
A*(1)+B*!B
Null
A+B*!B
Inverse
A+0
Identity
A
|
A | B | C | A*(A+C)+(A+B)*(A+!B) | A |
0 | 0 | 0 |
0*(0+0)+(0+0)*(0+!0) 0*(0)+(0)*(0+1) 0+0*(1) 0+0 0 |
0 |
0 | 0 | 1 |
0*(0+1)+(0+0)*(0+!0) 0*(1)+(0)*(0+1) 0+0*(1) 0+0 0 |
0 |
0 | 1 | 0 |
0*(0+0)+(0+1)*(0+!1) 0*(0)+(1)*(0+0) 0+1*(0) 0+0 0 |
0 |
0 | 1 | 1 |
0*(0+1)+(0+1)*(0+!1) 0*(1)+(1)*(0+0) 0+1(0) 0+0 0 |
0 |
1 | 0 | 0 |
1*(1+0)+(1+0)*(1+!0) 1*(1)+1*(1+1) 1+1(1) 1+1 1 |
1 |
1 | 0 | 1 |
1*(1+1)+(1+0)*(1+!0) 1*(1)+(1)*(1+1) 1+1*(1) 1+1 1 |
1 |
1 | 1 | 0 |
1*(1+0)+(1+1)*(1+!1) 1*(1)+(1)*(1+0) 1+1*(1) 1+1 1 |
1 |
1 | 1 | 1 |
1*(1+1)+(1+1)*(1+!1) 1*(1)+(1)*(1+0) 1+1*(1) 1+1 1 |
1 |
|