برابری منطقی

تساوی منطقی یک عملگر منطقی می باشد که بر تساوی و برابری در جبر بولی و دو شرطی منطقی در ریاضیات گزاره ای دلالت می کند. خروجی این تابع هنگامی درست می باشد که ارزش ورودی های آن یکسان و برابر باشند و در صورت متفاوت بودن، خروجی تابع نادرست خواهد بود.
نحوه نوشتن و بیان این عملگر در ریاضیات به اشکال زیر می باشد، اگر متغیرها x و y در نظر گرفته شوند داریم:
x ↔ y x ⇔ y E x y x   EQ   y x = y
برخی منطق دانان در نوشتن این عبارات تفاوت هایی قائل شده اند. برخی فرم تابعی ( Functional Form ) مانند آنچه در ستون سمت چپ آمده را درست می دانند و برخی فرم هم ارزی ( Equational Form ) مانند آنچه در ستون سمت راست آمده است را ترجیح می دهند.
در د انش ریاضیات از علامت "+" در راستی عملیات ا فزودن اعداد استفاده می شود اما این علامت در جبر بولی معنای دیگری دارد. در جبر بولی معنای این علامت جدا از عملگر "V" ( یای فصلی ) می باشد و اساس آن مشابه عملگر نابرابری "≠" و یای انحصاری ( XOR ) می باشد. در واقع این تفاوت در استفاده و کاربرد علامت ها باعث شد تا در برقراری ارتباط مهندسین و ریاضی دانان اختلافاتی پدید آید. به هر روی نامساوی منطقی به یکی از رویه های ذکر شده در جدول زیر نوشته می شود:
تعریف این عملگر بدین صورت است که اگر و فقط اگر ورودی های آن برابر باشند خروجی درست خواهد بود و در غیر اینصورت خروجی نادرست خواهد بود.