added Minterm, McquineGroup and McquineTable on models, edit McquineController, solving first the core algo to be used by the program; Finished upto BINARY CONVERSION.