1
1
1
s3 = x1 x2 x3 ,
Q = 1 − (s21 − 3s2 + s3 ).
Consider boolean formulas in variables x1 , . . . , xk . Let xi+k be negation of xi
(this is to avoid explicitely writing negations). Given boolean formula
B = (xj1,1 ∨ xj2,1 ∨ xj3,1 ) ∧ · · · ∧ (xj1,m ∨ xj2,m ∨ xj3,m )
we buid polynomial f in y1 , . . . , yk as
f = Q(yj1,1 , yj2,1 , yj3,1 ) + · · · + Q(yj1,m , yj2,m , yj3,m )