Removed useless comments
And and or can now take children both ways
Added functions to convert to CNF