برابری منطقی

تساوی منطقی یک عملگر منطقی می باشد که بر تساوی و برابری در جبر بولی و دو شرطی منطقی در ریاضیات گزاره ای دلالت می کند. خروجی این تابع هنگامی درست می باشد که ارزش ورودی های آن یکسان و برابر باشند و در صورت متفاوت بودن، خروجی تابع نادرست خواهد بود.
ویکی پدیا انگلیسی
نحوه نوشتن و بیان این عملگر در ریاضیات به اشکال ذیل می باشد، اگر متغیرها x و y در نظر گرفته شوند داریم:
x ↔ y x ⇔ y E x y x   EQ   y x = y {\displaystyle {\begin{matrix}x\leftrightarrow y&\quad &\quad &x\Leftrightarrow y&\quad &Exy\\x\ {\mbox{EQ}}\ y&\quad &\quad &x=y\end{matrix}}}
برخی منطق دانان در نوشتن این عبارات تفاوت هایی قائل شده اند. برخی قالب تابعی (Functional Form) مانند آنچه در ستون سمت چپ آمده را درست می دانند و برخی قالب هم ارزی (Equational Form) مانند آنچه در ستون سمت راست آمده است را ترجیح می دهند.