CS 5315, Quiz 1, Thursday, April 13, 2006

Name


(Please do not forget to put your name on all extra sheets of paper)

Reduce the satisfying problem for the formula (x1 \/ -x2) & (-x1 \/ x2) to: