Help Q7, first few tabs

Quiz 7 Satisfiability

10/30/06 Quiz 7 was formerly known as Quiz 4

Quiz 7 first few tabs

[This has been done in the downloadable application, but the principles apply to the applet version also.]