English: So, you can see that there is simple proof using the resolution method and if look at a proof carefully you can see that it is trying to in some sense say at the same time that if this formula is to be unsatisfiable.
Telugu: కాబట్టి, రిజల్యూషన్ పద్ధతిని ఉపయోగించి సరళమైన రుజువు ఉందని మీరు చూడవచ్చు మరియు ఒక రుజువును జాగ్రత్తగా పరిశీలిస్తే, ఈ ఫార్ములా సంతృప్తికరంగా ఉండకపోతే అదే సమయంలో చెప్పడానికి ప్రయత్నిస్తున్నట్లు మీరు చూడవచ్చు.