[comp.parallel] Circuit value problem

sarnath@sybil.cs.buffalo.edu (Ramnath Sarnath) (07/03/90)

I would like to know the status of the following problem : 
(i.e, does it belong to logspace/NC, is it logspace complete for P, etc)

	Given a boolean circuit made up entirely of xor gates together
with a set of inputs, is the output of every node of the circuit true?

(the problem of actually obtaining the outputs, is logspace complete
for P).

If there is some known result, I would appreciate references.

sarnath@sybil.cs.buffalo.edu