Определение Логическое равенство - это операция над двумя логическими значениями, обычно значениями двух предложений, которая дает значение истина тогда и только тогда, когда оба операнда ложны или оба операнда истинны.
Он возвращает истину, если оба входа верны или оба входа ложны.