With pattern matching
@@ -0,0 +1,4 @@
+myAnd b1 b2 =
+ case (b1, b2) of
+ (True, True) -> True
+ (_, _) -> False