changed the power list method to use an iterator
changed a few "uglinesses"
changed the toOBDD method for Formulas so that an complete OBDD is created from the TruthTable
added toOBDD method for TruthTables
made the toOBDD method for Formulas call the TruthTable one
added some more functionality the reduction method for Formulas