නය සදහා වන සංඥතා වගු බුලියානු තර්කානුකූලව පද්ධති වලට සිමා වේ. ඒවා තුල තර්කානු කූල අගයන් අසත්‍ය හෝ සත්‍ය වන අතර සමාන්‍ය ඒවාF හා T  මගින් හෝ සමහර විට 0 හෝ 1 මගින් වෙන වෙනම ප්‍රකාශ කරනු ලැබේ. ඒවායේ එක් එක් ශ්‍රිතීය විචල්‍යයන් වෙනුවෙන්, එනම් තාර්කික විචල්‍යයන් විසින් ගනු ලබන අගයයන්ගේ එක් එක් සංයෝජනයන් සඳහා, තාර්කික ප්‍රකාශනයන්හී ශ්‍රිතීය අගයයන් ගණනය කිරීමට, තර්ක ශාස්ත්‍රයෙහි—විශේෂයෙන් බූලියන් වීජ ගණිතය, බූලියන් ශ්‍රිත, සහ ප්‍රස්තූත කලනය අරභයා— භාවිතා වන ගණිත වගුවකි. (එන්ඩර්ටන්, 2001).නීත්‍යානුකූල ප්‍රදාන අගයයන් සමස්තම සඳහා ප්‍රස්තූත ප්‍රකාශනයක් සත්‍යයද යන්න, එනම් තර්කානුකූල වලංගු භාවය, නිර්ණය කිරීමට සත්‍යතා වගු විශේෂ වශයෙන් භාවිතා කල හැක.ප්‍රායෝගික වශයෙන් සත්‍යතා වගුවක් සමන්විත වන්නේ, එක් එක් ප්‍රදාන විචල්‍යය වෙනුවෙන් එක් තීරුව බැගින්ද (නිදසුනක් ලෙසින්, A සහ B), වගුව විසින් නිරූපණය කරනු බවට සැලකෙන තාර්කික කාර්යය (නිදසුනක් ලෙසින්, A XOR B) වෙතින් ජනිත විය හැකි සමස්ත ප්‍රතිඵල සඳහා එක් අවසන් තීරුවක්ද යන්නෙනි. මේ අනුව සත්‍යතා වගුවෙහි එක් එක් පේළිය සමන්විත වන්නේ ප්‍රදාන විචල්‍යයන් සඳහා විය හ