Logical equality
தர்க்கரீதியான சமத்துவம் என்பது பூலியன் இயற்கணிதத்தில் சமத்துவத்திற்கும், முன்மொழிவு கால்குலஸில் தர்க்கரீதியான இரு நிபந்தனைகளுக்கும் ஒத்த ஒரு தர்க்கரீதியான இயக்கியாகும். இரண்டு செயல்பாட்டு வாதங்களும் ஒரே தர்க்கரீதியான மதிப்பைக் கொண்டிருந்தால் அது செயல்பாட்டு மதிப்பை உண்மையாகவும், அவை வேறுபட்டிருந்தால் தவறானதாகவும் வழங்குகிறது. பல்வேறு பயன்பாடுகளில், எப்போதுமே தொழில்நுட்ப ரீதியாக துல்லியமாக இல்லாவிட்டாலும், பின்வரும் வடிவங்களில் ஏதேனும் ஒன்றின் மூலம் x மற்றும் y தர்க்கரீதியான செயல்பாட்டின் செயல்பாட்டைக் குறிக்க இது வழக்கமான நடைமுறையாகும்ஃ இருப்பினும், சில தர்க்கவாதிகள், இடது நெடுவரிசையில் உள்ளதைப் போன்ற ஒரு செயல்பாட்டு வடிவத்திற்கு இடையில் ஒரு உறுதியான வேறுபாட்டை வரைகிறார்கள், இது ஒரு ஜோடி வாதங்களுக்கு ஒரு செயல்பாட்டின் பயன்பாடாக அவர்கள் விளக்குகிறார்கள்-இதனால் கூட்டு வெளிப்பாட்டின் மதிப்பு கூறு வெளிப்பாடுகளின் மதிப்புகளைப் பொறுத்தது என்பதற்கான வெறும் அறிகுறியாகும்-மற்றும் வலது நெடுவரிசையில் உள்ளதைப் போன்ற ஒரு சமன்பாட்டு வடிவம், வாதங்கள் சம மதிப்புகளைக் கொண்டுள்ளன என்ற கூற்றாக அவர்கள் விளக்குகிறார்கள், வேறுவிதமாகக் கூறினால், கூட்டு வெளிப்பாட்டின் செயல்பாட்டு மதிப்பு உண்மை. தர்க்கரீதியான சமத்துவம் என்பது இரண்டு தர்க்கரீதியான மதிப்புகளில் ஒரு செயல்பாடாகும், பொதுவாக இரண்டு முன்மொழிவுகளின் மதிப்புகள், இது இரண்டு செயல்பாடுகளும் தவறாக இருந்தால் அல்லது இரண்டு செயல்பாடுகளும் உண்மையாக இருந்தால் மட்டுமே உண்மை மதிப்பை உருவாக்குகிறது. p EQ q இன் உண்மை அட்டவணை (p = q, p ஷ்ண q, Epq, p ஷ்ண q, அல்லது p = q என்றும் எழுதப்படுகிறது) பின்வருமாறுஃ {| வகுப்பு = "விக்கிட்டபிள்" பாணி = "உரை-சீரமைப்புஃ மையம்" | + தர்க்கரீதியான சமத்துவம்! பி! க! p = q |-| 0 | | 0 | | 1 |-| 0 | | 1 | | | 1 | | | 0 |-| 1 | | | 1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | x மற்றும் y செயல்பாடுகளுக்கு, தர்க்கரீதியான சமத்துவ ஆபரேட்டரின் உண்மை அட்டவணை பின்வருமாறுஃ {| வகுப்பு = "விக்கி செய்யக்கூடியது"! கோல்ஸ் = "2" ரோஸ்பான் = "2" |! ! கோல்ஸ் = "2" | y |-! டி! ! எஃப் |-! ரோஸ்பான் = "2" | x! ! டி | பாணி = "திணிப்புஃ 1இஎம்;" | டி | பாணி = "திணிப்புஃ 1இஎம்;" | எஃப் |-! F | பாணி = "திணிப்புஃ 1em;" | F | பாணி = "திணிப்புஃ 1em;" | T |} சமத்துவமின்மை கணிதத்தில், கூட்டல் அடையாளம் "+" என்பது ஒரு புலம் என்று அழைக்கப்படும் இயற்கணித கட்டமைப்பின் வகைகளில் கூட்டலுக்கு ஒதுக்கப்பட்ட கோட்பாடுகளை திருப்திப்படுத்தும் ஒரு செயல்பாட்டைக் குறிக்கிறது. பூலியன் இயற்கணிதத்தைப் பொறுத்தவரை, இதன் பொருள் என்னவென்றால், "+" ஆல் குறிக்கப்படும் தர்க்கரீதியான செயல்பாடு "′" ஆல் குறிக்கப்படும் உள்ளடக்கிய பிரிவினைக்கு சமமானதல்ல, ஆனால் உண்மையில் "′" ஆல் குறிக்கப்படும் தர்க்கரீதியான சமத்துவமின்மை ஆபரேட்டருக்கு சமம், அல்லது அதே அளவு, "XOR" அல்லது "′" ஆல் குறிக்கப்படும் பிரத்யேக பிரிவினைக்கு சமம். இயற்கையாகவே, பயன்பாட்டில் உள்ள இந்த மாறுபாடுகள் பல ஆண்டுகளாக கணிதவியலாளர்களுக்கும் மாறிவரும் பொறியாளர்களுக்கும் இடையில் தொடர்புகொள்வதில் சில தோல்விகளை ஏற்படுத்தியுள்ளன. எவ்வாறாயினும், தர்க்கரீதியான சமத்துவமின்மையுடன் தொடர்புடைய சின்னங்களுக்கு பின்வரும் தொடர்புடைய வடிவங்களின் வரிசை உள்ளதுஃ சர்க்யூட் பொறியாளர்களின் ஒருங்கிணைந்த தர்க்கத்தில் "ஈக்யூ" பெரும்பாலும் "எக்ஸ்என்ஓஆர்" என்று அழைக்கப்படுவதை இது விளக்குகிறது, ஏனெனில் இது எக்ஸ்ஓஆர் செயல்பாட்டின் மறுப்பு ஆகும்; "என்எக்ஸ்ஓஆர்" என்பது பொதுவாக பயன்படுத்தப்படாத மாற்றாகும். "எக்ஸ்என்ஓஆர்" என்ற ஒப்புக்கொள்ளப்பட்ட சுற்றுப் பெயரின் மற்றொரு பகுத்தறிவு என்னவென்றால், ஒன்று "இரண்டுமே தவறான" ஆபரேட்டர் என்ஓஆர் உடன் தொடங்கி பின்னர் எக்ஸெப்ஷன் "அல்லது இரண்டும் உண்மை" என்பதைச் சேர்க்கிறது. மேலும் பார்க்கவும் பூலியன் செயல்பாடு தர்க்கரீதியான சமநிலை தர்க்கரீதியான இரு நிபந்தனை முன்மொழிவு கால்குலஸ் குறிப்புகள் வெளிப்புற இணைப்புகள் கணித உலகம், XNOR சமத்துவம் சமநிலை (கணிதம்)