Логическое равенство

• Логическое равенство соответствует равенству в булевой алгебре и логическому двусловию в логическом исчислении высказываний. 
• Оно присваивает функциональное значение true, если оба функциональных аргумента имеют одинаковое логическое значение, и false, если они разные. 
• Некоторые логики проводят различие между функциональной формой и уравнительной формой логического равенства. 
• Логическое равенство — это операция над двумя логическими значениями, которая выдает значение true тогда и только тогда, когда оба операнда являются ложными или оба операнда являются истинными. 
• В математике знак «+» не совпадает с инклюзивной дизъюнкцией, но фактически эквивалентен оператору логического неравенства. 
• Эти различия в использовании на протяжении многих лет приводили к некоторым сбоям в общении между математиками и инженерами-коммутаторами.