Lab 11 Documents:

• Lab 11 assignment
• source code:  CNF1