Currently, I am converting the expression received into a BST using inorder traversal. I know I should have a CNF function, which takes in a tree and then returns the CNF fo