(*
   CSCI 3155: Project 1: Boolean Formulae: Tests
   <Your Name>
*)

(* Example:

     val test_to_nnf1 =
         Or (True, Not (Var "x")) = to_nnf (Not (And (False, Var "x")))
*)