Our goal: Logic-function simplification
Key tool: The uniting theorem ? A (B' + B) = A
The approach:
- Find subsets of the ON-set where some variables don’t change (the A’s above) and others do (the B’s above)
- Eliminate the changing variables (the B’s)
- Exploit the don’t cares
A has the same value in both on-set rows ? A remains
B has a different value in the two rows ? B is eliminated
F = A'B'+A'B = A'(B+B') = A'