All Questions
1
question
0
votes
1
answer
3k
views
Reduction from Circuit-Sat to 3-Sat
I'm reading the following notes on reduction from circuit-sat to 3-sat
http://www.cs.cmu.edu/~avrim/451f11/lectures/lect1108.pdf
On the third page i'm unsure how they arrived at the following
In ...