XNOR gate (source code)

= XNOR gate
{c}
{title2=$\neg(a\oplus b)$}
{wiki}

A two-input <logic gate> whose output is one exactly when its two input <bits> agree. Its <Boolean function> is $(a\land b)\lor(\neg a\land\neg b)$, equivalently $(a\lor\neg b)\land(\neg a\lor b)$. This follows by considering the two cases in which inputs are equal. It implements <logical equivalence> of the input truth values.