๐ Boolean Equivalence โ A โ B โก A โ B'
๐ง Core Insight
- A XOR B (
A โ B) detects difference between A and B. - A XNOR Bโฒ (
A โ Bโฒ) detects sameness between A and the inverted B. - Since B is flipped, the sameness check in XNOR now aligns with the difference check in XOR.
๐ Truth Table Comparison
| A | B | Bโฒ | A โ B | A โ Bโฒ |
|---|---|---|---|---|
| 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 0 |
โ
The outputs of A โ B and A โ Bโฒ match perfectly.
๐ง Algebraic Proof
Start with:
A โ B = AยทBฬ
+ Aฬ
ยทBLast updated on