Add perm function needed in to the generate truthtable
Added getOnes function to get unique symbols in a LogExp

This function is needed to generate truthtables