diff --git a/src/contracts/boolean_operators.ligo b/src/contracts/boolean_operators.ligo
index 4b53ff2d5..0d88c0f03 100644
--- a/src/contracts/boolean_operators.ligo
+++ b/src/contracts/boolean_operators.ligo
@@ -11,3 +11,6 @@ function and_true (const b : bool) : bool is
 
 function and_false (const b : bool) : bool is
   begin skip end with b and False
+
+function not_bool (const b: bool) : bool is
+  begin skip end with not b
diff --git a/src/test/integration_tests.ml b/src/test/integration_tests.ml
index baea8d256..9582122d4 100644
--- a/src/test/integration_tests.ml
+++ b/src/test/integration_tests.ml
@@ -127,6 +127,7 @@ let bool_expression () : unit result =
       ("or_false", fun b -> b || false) ;
       ("and_true", fun b -> b && true) ;
       ("and_false", fun b -> b && false) ;
+      ("not_bool", fun b -> not b) ;
     ] in
   ok ()