Logical System bergmann Quiz 7 Satisfiability 6/19/09 Quiz 7 first few tabs [This has been done in the downloadable application, but the principles apply to the applet version also.]
