(* Problem 2: 

Consider the following if then else expression.

*)


let 
  val A : bool
        = true
  val B : bool 
        = true

  val C = if A then 
            if B then true
	    else false
	  else 
	    if B then true
	    else true              
in 
  C
end

(* What is the result of C when $x$ = true and $y$ = true *)

(* Rewrite the code in such a way that the type of A, B, and C are integers and no longer bools
   Let $x = 1$ means $x$ is true and $x = 0$ stands for $x = false$ *)

(* The formula $C$ has the same value of the formula $A implies B$. Can you write a program 
   for $C$ that has the same result as $A and not B$? *)