علم منطقي

العلم المنطقي ، أو بت الحقيقة ، أو علم الحقيقة في علوم الحاسوب هو قيمة منطقية ممثلة ببت واحد أو أكثر، والتي تشفر متغير حالة بقيمتين محتملتين.

يمكن أن يحتوي بايت واحد على ما يصل إلى 8 علامات منطقية منفصلة عن طريق ربط علامة منطقية واحدة بكل بت، مما يجعله طريقة اقتصادية وكثيفة للغاية لتخزين البيانات. يُعرف هذا بالتمثيل المُعبأ أو تعبئة البتات، بينما يُعرف التشفير المعاكس الذي يستخدم علامة منطقية واحدة فقط لكل بايت بالتمثيل المُتفرق. بالنسبة للذاكرة القابلة للعنونة بالبايت، يتطلب التمثيل المُعبأ قناع بت وإزاحة بت للوصول إلى العلامات الفردية في كل بايت، مما قد يتطلب تعليمات إضافية، في حين أن التمثيل المُتفرق لا يتطلب قناع بت. توجد التمثيلات المُعبأة بشكل أكثر شيوعًا في الأجهزة وسجلات المعالج كحقول بت ^{[ 1 ]} ، بينما توجد التمثيلات المُتفرقة بشكل أكثر شيوعًا في البرامج كمتغيرات بعرض بايت واحد أو أكثر، على الرغم من إمكانية دعم التمثيلات المُعبأة أيضًا. ^{[ 2 ]}

تدعم معظم لغات البرمجة ضبط واختبار بت واحد أو عدة بتات معًا لاستخدامها كمؤشرات منطقية، وعادةً ما يمكن اختبار ما يصل إلى 256 تركيبة مختلفة من الشروط بتعليمات واحدة فقط على بايت واحد باستخدام عمليات البت . وتتيح التطورات في تصميم المعالجات والحوسبة المتوازية إمكانية إجراء المزيد من عمليات الجبر البولياني على العلامات البوليانية بتعليمات واحدة فقط باستخدام تقنية SIMD ، والتي غالبًا ما تُنفذ في لغات البرمجة كدوال مضمنة في المترجم . ^{[ 3 ]}

أحيانًا، تُكتب البرامج ببساطة لضبط علامات عند اكتشاف شروط معينة، بدلًا من استخدام عبارات شرطية متداخلة متعددة (مثل ifs) قد تصبح معقدة للغاية. عند اختبار جميع الشروط وضبط جميع العلامات بشكل مناسب، يمكن البدء في اختبار تركيبات مختلفة من الشروط - بالرجوع إلى العلامات بدلًا من المتغيرات نفسها. هذا يُبسط المعالجة بشكل كبير، ويسمح بتنفيذ جداول القرار من خلال ربطها بتمثيلاتها الثنائية في الذاكرة.

• دالة منطقية