ඒවායේ එක් එක් ශ් රිතීය විචල් යයන් වෙනුවෙන්, එනම් තාර්කික විචල් යයන් විසින් ගනු ලබන අගයයන්ගේ එක් එක් සංයෝජනයන් සඳහා, තාර්කික ප් රකාශනයන්හී ශ් රිතීය අගයයන් ගණනය කිරීමට, තර්ක ශාස්ත් රයෙහි - විශේෂයෙන් බූලියන් වීජ ගණිතය, බූලියන් ශ් රිත, සහ ප් රස්තූත කලනය අරභයා - භාවිතා වන ගණිත වගුවකි.