I am trying to show that a particular language $L$ in PCP(log,q) is also in P. The PCP protocol works as follows: log many random bits and checks at q positions in a polynomial length proof. The protocol accepts if two or more queries are 1. Assume that this has perfect completeness. I think one can handle randomness in P by usual methods. I am having problem with using the bound on queries to show that it is in P. How to show that $L$ can be recognized by a polytime algorithm? Can we somehow use maxSAT equivalent form for PCP?