File List

Here is a list of all documented files with brief descriptions:

FileUtility.cpp	Implementation file for utilities that read DIMACS CNF files and build expression parse trees
FileUtility.h
Q1.cpp	Implementation file for converting infix propositional logic expressions to prefix notation
Q1.h
Q2.cpp	Implementation file for building and managing a parse tree from a prefix propositional logic expression
Q2.h
Q3.cpp	Implementation file for printing an expression parse tree in infix notation
Q3.h
Q4.cpp	Implementation file for calculating the height of an expression parse tree
Q4.h
Q5.cpp	Implementation file for evaluating and generating truth tables for expression parse trees
Q5.h
Q6.cpp	Implementation file for converting a propositional logic expression tree into Conjunctive Normal Form (CNF)
Q6.h
Q7.cpp	Implementation file for validating and analyzing a tree in Conjunctive Normal Form (CNF)
Q7.h