vault backup: 2023-09-07 15:20:06

Algo/Séminaire/Exercices sémaines.md

@@ -107,14 +107,24 @@ val or_if: bool -> bool -> bool = <fun>
 
 
 (*logical implication*)
-if a && b then
+# let imply_if a b =
-	true
+	if a then b
-else if not a && b then
+	else true;;
-	true
+val imply_if: bool -> bool -> bool = <fun>
-else if not a && not b then
+
-	true
+(*logical exclusive or*)
-else 
+let xor a b = 
-	false
+	if a then
+		if b then false else true
+	else
+		if b then true else false
+
+(*logical equivalence = a b*)
+let equiv a b =
+	if a then b
+	else
+		if b then false else true (*not b*)
+
 ```
 
 ### Exercise 3.3