CS 5315, Quiz 3, Thursday, April 9, 2009

1. Describe the relation 3.5 * x1 - 2.6 * x2 >= 0 in DNF and CNF forms.

2. Describe the relation "if (x1 implies x2) then (x1 = x2)" in DNF and CNF forms.