Logical equality
লজিক্যাল ইকুয়ালিটি হল একটি লজিক্যাল অপারেটর যা বুলিয়ান বীজগণিতে সমতা এবং প্রপোসিশনাল ক্যালকুলাসে লজিক্যাল দ্বি-শর্তের সাথে মিলে যায়। এটি কার্যকরী মানকে সত্য দেয় যদি উভয় কার্যকরী যুক্তির একই যৌক্তিক মান থাকে এবং যদি তারা ভিন্ন হয় তবে মিথ্যা। বিভিন্ন প্রয়োগের ক্ষেত্রে, যদি সবসময় প্রযুক্তিগতভাবে সুনির্দিষ্ট না হয়, তবে নিম্নলিখিত যে কোনও একটি ফর্ম দ্বারা যৌক্তিক অপারেন্ড x এবং y-এর উপর যৌক্তিক সমতার ক্রিয়াকলাপ নির্দেশ করা প্রথাগত অনুশীলনঃ কিছু যুক্তিবিদ, তবে, একটি কার্যকরী ফর্মের মধ্যে একটি দৃঢ় পার্থক্য আঁকেন, যেমন বাম কলামে, যা তারা এক জোড়া আর্গুমেন্টের জন্য একটি ফাংশনের প্রয়োগ হিসাবে ব্যাখ্যা করে-এবং এইভাবে একটি নিছক ইঙ্গিত যে যৌগিক এক্সপ্রেশনের মান উপাদান এক্সপ্রেশনের মানগুলির উপর নির্ভর করে-এবং একটি সমীকরণগত ফর্ম, যেমন ডান কলামে, যা তারা একটি দাবি হিসাবে ব্যাখ্যা করে যে আর্গুমেন্টগুলির সমান মান রয়েছে, অন্য কথায়, যে যৌগিক এক্সপ্রেশনের কার্যকরী মান সত্য। সংজ্ঞা যৌক্তিক সমতা হল দুটি যৌক্তিক মানের উপর একটি অপারেশন, সাধারণত দুটি প্রস্তাবের মান, যা সত্যের একটি মান তৈরি করে যদি এবং শুধুমাত্র যদি উভয় অপারেন্ড মিথ্যা হয় বা উভয় অপারেন্ড সত্য হয়। p EQ q-এর সত্যতালিকা (p = q, p ষ্ণ q, Epq, p ষ্ণ q, বা p = = q হিসাবেও লেখা হয়) নিম্নরূপঃ {। শ্রেণী = "উইকিটেবল" শৈলী = "পাঠ্য-সারিবদ্ধকরণঃ কেন্দ্র"। + যৌক্তিক সমতা! পি! q! p = q।-। 0।। 0।। 1।-। 0।। 1।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।।। x এবং y অপারেন্ডের জন্য, যৌক্তিক সমতা অপারেটরের সত্য সারণী নিম্নরূপঃ {। শ্রেণী = "উইকিটেবল"! কোলন = "2" রোস্প্যান = "2"।! ! কোলন = "2"। y।-! টি! ! এফ।-! রোস্প্যান = "2"। x! ! টি। স্টাইল = "প্যাডিংঃ 1ইএম;"। টি। স্টাইল = "প্যাডিংঃ 1ইএম;"। এফ।-! F। শৈলী = "প্যাডিংঃ 1em;"। F। শৈলী = "প্যাডিংঃ 1em;"। T।} অসমতা গণিতে, যোগ চিহ্ন "+" প্রায় অপরিবর্তনীয়ভাবে এমন একটি ক্রিয়াকে নির্দেশ করে যা বীজগাণিতিক কাঠামোর ধরণে যোগের জন্য নির্ধারিত স্বতঃসিদ্ধগুলিকে সন্তুষ্ট করে যা একটি ক্ষেত্র হিসাবে পরিচিত। বুলিয়ান বীজগণিতের ক্ষেত্রে, এর অর্থ হল যে "+" দ্বারা নির্দেশিত যৌক্তিক ক্রিয়াটি "ষ্ণ" দ্বারা নির্দেশিত অন্তর্ভুক্তিমূলক বিচ্ছিন্নতার সমতুল্য নয়, বরং প্রকৃতপক্ষে "ষ্ণ" দ্বারা নির্দেশিত যৌক্তিক বৈষম্য অপারেটরের সমতুল্য, বা একই পরিমাণ, "এক্সওআর" বা "ষ্ণ" দ্বারা নির্দেশিত একচেটিয়া বিচ্ছিন্নতা। স্বাভাবিকভাবেই, ব্যবহারের এই বৈচিত্র্যগুলি বছরের পর বছর ধরে গণিতবিদ এবং পরিবর্তিত প্রকৌশলীদের মধ্যে যোগাযোগে কিছু ব্যর্থতা সৃষ্টি করেছে। যাই হোক না কেন, যৌক্তিক বৈষম্যের সাথে যুক্ত প্রতীকগুলির জন্য নিম্নলিখিত অনুরূপ ফর্মগুলির অ্যারে রয়েছেঃ এটি ব্যাখ্যা করে যে কেন সার্কিট ইঞ্জিনিয়ারদের সমন্বিত যুক্তিতে "ইক্যু" কে প্রায়শই "এক্সএনওআর" বলা হয়, কারণ এটি এক্সওআর অপারেশনের নেতিবাচকতা; "এনএক্সওআর" একটি কম ব্যবহৃত বিকল্প। স্বীকৃতভাবে বৃত্তাকার নাম "এক্সএনওআর"-এর আরেকটি যৌক্তিকতা হল যে একটি "উভয় মিথ্যা" অপারেটর এনওআর দিয়ে শুরু হয় এবং তারপর "এক্সসেপশন" বা উভয় সত্য যোগ করে। আরও দেখুন বুলিয়ান ফাংশন যদি এবং শুধুমাত্র যদি লজিক্যাল ইকুইভ্যালেন্স লজিক্যাল বাই-কন্ডিশনাল প্রপোসিশনাল ক্যালকুলাস রেফারেন্স এক্সটার্নাল লিঙ্ক ম্যাথওয়ার্ল্ড, এক্সএনওআর ইকুয়ালিটি ইকুইভ্যালেন্স (গণিত)