Когда две переменные логически сравниваются, логический вентиль, который проверяет эквивалентность? Использование логического вентиля

Ответ XNOR. Что касается почему, просто посмотрите на таблицу истинности для 2 входов:

Вы видите, что он возвращает 1, если либо оба входные данные равны 1, либо оба входные данные равны 0, или другими словами, когда входные данные имеют одинаковое значение. Это можно описать как проверку эквивалентности.

Это также можно увидеть, взглянув на то, что означает XNOR: Исключающее, а не ИЛИ. Это означает, что это противоположно проверке того, является ли ровно один вход 1 (поскольку исключающее ИЛИ означает, что любой из выходов может быть 1, но не оба), т. оба входа равны 1 или оба входа равны 0, т. е. эквивалентны ли оба входа.

(Его также можно назвать NXOR, что, на мой взгляд, более понятно. Потому что исключающее ИЛИ двух инвертированных значений даст тот же результат, что и без отрицания, но это обращение исключающего ИЛИ.)