منطق ثلاثي

تطبيقات الإلكترونيات

• انظر كذلك
• دائرة رقمية
• جبر منطقي

ومن جهة أخرى، تدعم نظرية إلكترونيات رقمية أربعة قيم منطقية فريدة (كما هو معرف في في إتش دي إل std_logic):

• 1 أو عالي، للتعبير عن الصواب عادة TRUE.
• 0 أو منخفض، لتمثيل الخطأ عادة FALSE.
• X لتمثيل التعارض "Conflict".
• U لتمثيل عدم التخصيص "Unassigned" أو عدم المعلومية "Unknown".
• - لتمثيل (إهمل القيمة) "Don't Care".
• Z لتمثيل معاوقة عالية "high impedance"، خط غير مغذى.
• H, L وW قيم أخرى لتمثيل المعاوقة العالية.

علاوةً على ذلك، القيمة "X" لاتوجد حقيقة في عالم الدوائر، فهي ليست سوى حامل أو مخزن في برامج المحاكاة وأغراض التصميم.

Steve Grubb's Trinary Website

Boost.Tribool – an implementation of ternary logic in سي++

في هذا الإطار، A polar place value number system for computers and life in general

في هذا الإطار، Team-R2D2 - a French institute that fabricated the first full-ternary logic chip (a 64-tert SRAM and 4-tert adder) in 2004

جدول الصواب الأساسي

وفي هذا الصدد، استعملنا حالة اللامعلومية UNKNOWN والتي يمكن تشبيهها بحالة صندوق مغلق يحتوي على حالة غير معلومة ما إذا كانت صواب أم خطأ.

ومن جهة أخرى، ملاحظة: تم الاحتفاظ بالمصطلحات الإنكليزية في الجدول كأفضلية. يمكن للقارئ استنباط التعريب المكافئ من الشرح السابق بالإضافة لاستعمال OR بمعنى «أو»، AND بمعنى «و»، NOT بمعنى «نفي».

في هذا الإطار، في الأسفل جدول الصواب الذي يوضح العمليات المنطقية لمنطق كلين.

تمثيل القيم

وفي السياق ذاته، كما هو الحال مع المنطق الثنائي، يمكن تمثيل قيم الصواب والخطأ في المنطق الثلاثي عددياً باستعمال علامات مختلفة من نظام العد الثلاثي. فيما يلي بعض من الأمثلة الأكثر شيوعاً:

إضافةً إلى ذلك، هذه المقالة تركز بشكل رئيس على النظام الثلاثي ذي المنطق الاقتراحي باستعمال قيم المنطق {خطأ false، غير معلوم unknown, وصوابtrue}.

علاوةً على ذلك، 1 للدلالة على الصواب true، 2 للدلالة على الخطأ false، و 0 للدلالة على اللامعلوم unknown، غير ذي صلة irrelevant، أو كليهما both.

وفي السياق ذاته، الثلاثي المتزن يستعمل −1 للدلالة على الخطأ false، +1 للدلالة على الصواب true و0 للتعبير عن القيمة الثالثة; يمكن كذلك تبسيط هذه القيم إلى −, +, و0, على الترتيب.

وعلى صعيد آخر، 0 للدلالة على الخطأ false، 1 للدلالة على الصوابtrue، وعلامة قيمة صحيحة معلومة مثل # أو ½ للقيمة الأخيرة.

تعريفات

وفي هذا السياق، في المنطق الضبابي، يمكن معاملة المنطق الثلاثي على أنه أحد أنواع المنطق الضبابي كالما أن قيمته يمكن أن تحمل قيمة مختلفة عن الخطأ (0) أو الصواب (1); معذلك يعرف المنطق الثلاثي بأنه منطق واضح-crisp logic.