Simple Propositions to Z3: AND and OR and !