Identifier une porte par sa table

La sortie vaut $1$ quand $a=b$ (lignes $00$ et $11$) et $0$ sinon : c'est le comparateur d'égalité, la porte XNOR, complément du XOR, $s=\overline{a\oplus b}$. On le vérifie en écrivant la somme des produits des lignes où $s=1$ : $s=\overline{a}\overline{b}+ab$, qui est bien le complément de $a\oplus b=\overline{a}b+a\overline{b}$ (les deux sommes valent $1$ sur des lignes complémentaires).