في المنطق الرياضي ( 8) العلاقة بين الروابط القضوية .

   اول فائدة نجنيها من استخدام جداول الصدق بيان العلاقة بين الروابط القضوية . والعلاقة هي التكافؤ او التشارط . اذ لو بينا ان هناك تكافؤ بين صيغتين فان معنى هذا ان بالامكان ان نضع احداهما مكان الاخر ، او ان نعوض بدل احداهما بالاخر .   كذلك يهمنا ان نعرف ان صيغتين ليستا متكافئتين ، وبالتالي لا يمكن وضع احداهما مكان الاخرى .     لنفرض ان امامنا الصيغتين الاتيتين :     " ( ق  ←   ل ) "                 " ((  ⌐ ق )  ˅ ل ) "   ونود معرفة ما اذا كانتا متكافئتين . لبيان ذلك سنضع بينهما علامة التكافؤ او التشارط هكذا :         ( ق  ←   ل )          ↔        ((  ⌐ ق )  ˅ ل )    أي نكون منهما صيغة مركبة رابطها الرئيسي التكافؤ او التشارط ، ثم نضع لهذه الصيغة جدول صدق كالآتي :  ق  ل  ( ق   ←  ل )   ↔  ((⌐   ق )   ˅  ل ) ص  ص  ص  ص  ص  ص  ك  ص  ص  ص ص  ك  ص  ك  ك  ص  ك  ص  ك  ك  ك  ص  ك  ص  ص  ص  ص  ك  ص  ص  ك  ك  ك  ص  ك  ص  ص  ك  ص  ك (1) (2) (1) (3) (2)  (6)  (4)  (1)  (5) (2)
     نلاحظ في هذا الجدول ان قيم الصدق للصيغة المركبة التشارطية موجودة كلها تحت علامة التشارط في العمود ( 6 ) . كل القيم كما هو واضح صادقة ، في حالة ما اذا كانت كل القيم صادقة ، فإن معنى هذا ان صيغة التشارط دائما صادقة . وبالتالي سنقول ان ان الصيغتين متكافئتين . لو وجدنا في احد اسطر العمود المجود تحت علامة التشارط حالة واحدة على الاقل كاذبة ، سنقول بأن الصيغتين غير متكافئتين .. من الواضح ان الصيغتين في المثال متكافئتين .   لناخذ مثالا اخر :         ((  ⌐ ق )  ^  ل )                   ⌐ (ق  ^  ل )       هاتان صيغتين نود معرفة ما اذا كانتا متكافئتين . سنضع بينهما علامة التكافؤ وننشئ لهما جدولا كالآتي : ق  ل ((⌐ ق  ^  ل  ↔  ⌐  ق   ^  ل ص ص ك ص ك ص ص  ك ص ص ص ص ك ك ص ك ك ك ص ص ك ك ك ص ص ك ص ص ص ص ك ك ص ك ك ص ك ك ك ك ص ك ك ك (1) (2) (3) (1) (4) (2) (7) (6) (1) (5) (2)
  مثال ثالث :  سناخذ الصيغتين :         " ( ق ↔ ل ) "    ،   " (( ق   ← ل )  ^ ( ل ← ق ))المطلوب بيان ما اذا كانتا متكافئتين . سنضع بينهما علامة التشارط مكونين صيغة مركبة . ننشئ لهما جدول صدق كالآتي : ق ل (ق ↔ ل) ↔ ((ق ← ل)  ^ ( ل ← ق)) ص ص ص ص ص ص ص ص ص ص ص ص ص ص ك ص ك ك ص ص ك ك ك ك ص ص ك ص ك ك ص ص ك ص ص ك ص ك ك ك ك ك ص ك ص ك ص ك ص ك ص ك (1) (2) (1) (3) (2) (7) (1) (4) (2) (6) (2) (5) (1)
 اذن الصيغتين متكافئتين .