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.] Your browser does not support html5 video. Book traversal links for Help Q7, first few tabs ‹ Help with the semantics of free variables Up Help Q7, consistency ›
