"લોજિક" કાર્યોના ઉકેલ જેમાં દરેક અન્ય સંબંધિત નિર્ણયો રજૂ કરવામાં આવે છે, તેમજ તારણો.