implementing first test version of "makeBinary"
make it unecessary to explicitly set the parent and some first implemenation of the DNF algorithm