BDD converter,up to 24 variables,i am newbie in programming,the code sucks :)