איפה המשתנה עזר?
מסמנים y XNOR z = t ומקבלים:
(x XNOR t)' = x XOR t
ובעקרון אפשר לסיים כאן כי שני השערים האלו הם באמת NOT אחד של השני, אבל אם רוצים להראות את זה ממש אפשר לפתוח את זה ל:
(x XNOR t)' = (xt + x't')' = (xt)'(x't')' = (x'+t')(x+t) = x't+xt' = x XOR t
