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.