0 1 // x+y+z 0 negated // !x+y+z 1 negated // !x+!y+z 2 negated // !x+!y+!z 3 negated // !u+v+!t !s+t+v s+t+!v v+u+s