Working on simplifying boolean expressions. Wrote a few of the cases,
still have to write a few more. Also need to write the negation-args
function.