English: So, P becomes the separate clause R becomes the separate clause this becomes R or Q this becomes not P or S or T and this is anyway not R or S. So, what am I really trying to do was this that can I derive T from this clauses.
Telugu: కాబట్టి, P ప్రత్యేక నిబంధన అవుతుంది R ఇది ప్రత్యేక నిబంధన అవుతుంది ఇది RvQ అవుతుంది ఇది ¬P v S v T మరియు ఇది ఏమైనప్పటికీ ¬R v S.