متحول منطقي

يعتبر أي نوع من المنطق أو الوظيفة أو التعبير أو النظرية القائمة على عمل جورج بول منطقية. فيما يتعلق بهذا، قد يشير مصطلح «منطقي» إلى:

• نوع البيانات المنطقية، وهو شكل من البيانات يحتوي على قيمتين محتملتين فقط (عادةً «صحيح» و«خطأ»).
• الجبر البولياني، حساب منطقي لقيم الحقيقة أو تعيين العضوية.
• الجبر البولي (هيكل)، مجموعة عمليات تشبه العمليات المنطقية.
• المجال المنطقي، مجموعة تتكون من عنصرين بالضبط تتضمن تفسيراتهما خطأ وحقيقية.
• الدائرة المنطقية، نموذج رياضي للدوائر المنطقية الرقمية.
• تعبير منطقي، تعبير في لغة برمجة ينتج قيمة منطقية عند تقييمه.
• دالة منطقية، دالة تحدد القيم المنطقية أو عوامل التشغيل.
• نموذج منطقي (نظرية الاحتمالات)، نموذج في الهندسة العشوائية.
• شبكة منطقية، شبكة معينة تتكون من مجموعة من المتغيرات المنطقية التي يتم تحديد حالتها بواسطة متغيرات أخرى في الشبكة.
• معالج منطقي، وحدة حوسبة متغيرة 1 بت.
• حلقة منطقية، حلقة رياضية يكون فيها x2 = x لكل عنصر x.
• مشكلة الاستيفاء المنطقي، مشكلة تحديد ما إذا كان هناك تفسير يقبل صيغة منطقية معينة.
• نظرية بوليان الأولية المثالية، وهي نظرية تنص على أن المثل في الجبر البولي يمكن أن تمتد إلى المثل العليا.