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 | | | 0 |-| 1 | | | 1 | |} متبادل وضاحتیں فارم (x = y) فارم کے مساوی ہے۔ آپریڈز x اور y کے لیے، منطقی مساوات آپریٹر کا ٹروتھ ٹیبل مندرجہ ذیل ہے: {| کلاس = "وکیٹیبل"! کولن = "2" رو اسپین = "2" |! ! کولن = "2"۔ y |-! ٹی! ! ایف۔-! rowspan = "2" | x! ! T | سٹائل = "پیڈنگ: 1em ؛" | T | سٹائل = "پیڈنگ: 1em ؛" | F |-! F | سٹائل = "پیڈنگ: 1em ؛" | F | سٹائل = "پیڈنگ: 1em ؛" | T |} عدم مساوات ریاضی میں، پلس سائن "+" تقریبا ہمیشہ ایک ایسے عمل کی نشاندہی کرتا ہے جو الجبرائی ساخت کی قسم میں اضافے کے لیے تفویض کردہ محوریات کو مطمئن کرتا ہے جسے فیلڈ کہا جاتا ہے۔ بولین الجبرا کے لیے، اس کا مطلب یہ ہے کہ "+" سے ظاہر ہونے والا منطقی عمل "ष्ण" سے ظاہر ہونے والے جامع اختلاط کے مترادف نہیں ہے بلکہ دراصل منطقی عدم مساوات کے آپریٹر کے مساوی ہے جس کی نشاندہی "ष्ण" سے ہوتی ہے، یا جو ایک ہی چیز کے برابر ہے، خصوصی اختلاط جس کی نشاندہی "XOR" یا "ष्ण" سے ہوتی ہے۔ قدرتی طور پر، استعمال میں یہ تغیرات سالوں کے دوران ریاضی دانوں اور بدلتے ہوئے انجینئروں کے درمیان بات چیت کرنے میں کچھ ناکامیوں کا سبب بنے ہیں۔ کسی بھی صورت میں، منطقی عدم مساوات سے وابستہ علامتوں کے لیے متعلقہ شکلوں کی درج ذیل صف ہوتی ہے: یہ وضاحت کرتا ہے کہ سرکٹ انجینئرز کی مشترکہ منطق میں "EQ" کو اکثر "XNOR" کیوں کہا جاتا ہے، کیونکہ یہ XOR آپریشن کی نفی ہے ؛ "NXOR" ایک کم عام طور پر استعمال ہونے والا متبادل ہے۔ تسلیم شدہ سرکٹس نام "XNOR" کی ایک اور معقولیت یہ ہے کہ ایک "دونوں غلط" آپریٹر NOR سے شروع ہوتا ہے اور پھر اس میں "یا دونوں سچ" کا اضافہ ہوتا ہے۔ بولین فنکشن بھی دیکھیں اگر اور صرف اس صورت میں جب منطقی مساوات منطقی بائی کنڈیشنل پروپوزیشنل کیلکولس حوالہ جات بیرونی روابط ریاضی، XNOR مساوات مساوات (ریاضی)