Skip to content
๐Ÿ” Boolean Equivalence โ€” A โŠ• B โ‰ก A โŠ™ B'

๐Ÿ” 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

ABBโ€ฒA โŠ• BA โŠ™ Bโ€ฒ
00100
01011
10111
11000

โœ… The outputs of A โŠ• B and A โŠ™ Bโ€ฒ match perfectly.

๐Ÿ”ง Algebraic Proof

Start with:

A โŠ• B = AยทBฬ… + Aฬ…ยทB
Last updated on