Эквиваленция: различия между версиями

Эквиваленция <math>A \leftrightarrowiff B</math> — это сокращённая запись для выражения <math>(\neg A\or B)\and (A\or\neg B)</math>

<blockquote>Логические выражения <math>X</math> и <math>Y</math> эквивалентны в том и только в том случае, когда эквиваленция <math>X \leftrightarrowiff Y</math> истинна при всех значениях логических переменных.</blockquote>