Lab 12 Documents:

• Lab 12 assignment
• source code:  CNF2