English: Just to complete the course may be we will look at the resolution method in first set of logic and the motivation for that method can be this problem that we have here.
Telugu: కోర్సును పూర్తి చేయడానికి మనము మొదటి లాజిక్ యొక్క రిజల్యూషన్ పద్ధతిని పరిశీలిస్తాము మరియు ఆ పద్ధతి యొక్క ప్రేరణ మనకు ఇక్కడ ఉన్న ఈ సమస్య కావచ్చు.