GATE 2014 SET-3 Q48: Consider the decision problem 2CNFSAT defined as follows: {Φ|Φ is a satisfiable propositional formula in ...