Windup

• The final Boolean Expression is E=G1?G2?G3?G4?G5?G6

• E is satisfiable if and only if MX accepts x=x1x2x3…xn

• E can be constructed from MX and x in polynomial time.

Previous slide

Back to first slide

View graphic version