Added the ability to print out the logical string.

There looks like there might be a problem with the random expression
generation because long random expressions don't seem to have the right
number of nots and the expressions themselves seem too long.