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