diff --git a/compiler/utils.py b/compiler/utils.py
index 1f562a5..5bbc102 100644
--- a/compiler/utils.py
+++ b/compiler/utils.py
@@ -1,2 +1,6 @@
 def implies(a: bool, b: bool) -> bool:
     return (not b and not a) or b
+
+
+def equivalence(a: bool, b: bool) -> bool:
+    return implies(a, b) and implies(b, a)