Examine the following monotone version of the Circuit-Value Problem: M-CVP: A circuit is called monotone if its internal gates are restricted to V-gates or A-gates. It is allowed that the input gates...

Extracted text: Examine the following monotone version of the Circuit-Value Problem: M-CVP: A circuit is called monotone if its internal gates are restricted to V-gates or A-gates. It is allowed that the input gates are either constants, variables, or negated variables. Given a monotone Boolean circuit C with one output gate and an assignment for the input variables b e {0,1}". Decide whether r(b) = 1? M-CVP { (C, b) | monotone acceptor circuit C is satisfied by b } . Show that M-CVP is P-complete by proving CVP<>