(எ-கா) தீர்வுகள் 2, 3, மற்றும் 4 எனில் தீர்வு கணம் formula_23 ஆகும்.

(எ-கா): 
formula_24

இங்கு "z" சார்பிலா மாறி. "x", "y" ன் மதிப்புகள், "z" ன் மதிப்புகளைப் பொறுத்து அமையும். முதலில் 
"z" க்கு ஏதாவது ஒரு மதிப்பைத் தேர்ந்தெடுத்துக் கொண்டு பின்பு அதைக்கொண்டு "x" , "y" ன் மதிப்புகளைக் கணக்கிடுவதன் மூலம் தீர்வுக்கணத்தில் உள்ள ஒரு புள்ளியைக் காணலாம். .

சார்பிலா மாறியை மாற்றி வேறொன்றாகத் தேர்ந்தெடுத்தால், தேர்வுக்கணத்தின் விளக்கம் மாறுபட்டுத் தோன்றும். ஆனால் எழுதப்பட்ட விளக்கம் வேறாக இருந்தாலும் முடிவாகத் தீர்வுகளில் எந்த மாற்றமும் இருக்காது. (எ-கா) மேலேயுள்ள அதே சமன்பாட்டுத் தொகுதிக்குத் தீர்வுகளைப் பின்வருமாறும் எழுதலாம்.

இங்கு "x" சார்பிலா மாறி, "y", "z" சார்புடைய மாறிகள்.




தீர்வுகளை எழுதும் முறை
ஒருங்கிசைவு (Consistency)
நிரைக் குறைப்பு முறை
சமானம் (Equivalence)