English: If I take a negation of a formula what where does this how to how do they get related to each other if I take a negation of satisfiable formula for example, if I take the negation of valid formula or take a negation of unsatisfiable formula.
Telugu: నేను ఒక ఫార్ములా యొక్క తిరస్కరణను తీసుకుంటే, నేను ఎక్కడ సంతృప్తికరమైన ఫార్ములా యొక్క తిరస్కరణను తీసుకుంటే, అవి చెల్లుబాటు అయ్యే ఫార్ములా యొక్క తిరస్కరణను తీసుకుంటే లేదా సంతృప్తి చెందని ఫార్ములా యొక్క తిరస్కరణను తీసుకుంటే అవి ఒకదానితో ఒకటి ఎలా సంబంధం కలిగి ఉంటాయి.