ગાણિતિક સૂત્ર તેના પ્રથમ આદર્શ ગરમી એન્જિન Karnaugh દ્વારા દરખાસ્ત મારફતે મહત્તમ કાર્યક્ષમતા દ્વારા નક્કી થાય છે.