starkware-libs
diff --git a/‎corelib/src/test/language_features/const_test.cairo‎
Lines changed: 10 additions & 0 deletions b/‎corelib/src/test/language_features/const_test.cairo‎
Lines changed: 10 additions & 0 deletions
diff --git a/‎crates/cairo-lang-semantic/src/items/constant.rs‎
Lines changed: 11 additions & 2 deletions b/‎crates/cairo-lang-semantic/src/items/constant.rs‎
Lines changed: 11 additions & 2 deletions
@@ -159,6 +159,16 @@ fn test_complex_consts() {
     assert_eq!(IF_CONST_FALSE, 7);
 }
 
+#[test]
+fn test_const_bool_bitwise() {
+    const AND: bool = true & false;
+    const OR: bool = true | false;
+    const XOR: bool = true ^ false;
+    assert!(!AND);
+    assert!(OR);
+    assert!(XOR);
+}
+
 #[derive(Copy, Drop, PartialEq, Debug)]
 struct Pair<T> {
     a: T,
 
@@ -922,8 +922,17 @@ impl<'a, 'r, 'mt> ConstantEvaluateContext<'a, 'r, 'mt> {
             return bool_value(self.const_values_eq(args[0], args[1]));
         } else if imp.function == self.ne_fn {
             return bool_value(!self.const_values_eq(args[0], args[1]));
-        } else if imp.function == self.not_fn {
-            return bool_value(args[0] == self.false_const);
+        } else if args.iter().all(|arg| [self.false_const, self.true_const].contains(arg)) {
+            let as_bool = |v| v == self.true_const;
+            if imp.function == self.not_fn {
+                return bool_value(!as_bool(args[0]));
+            } else if imp.function == self.bitand_fn {
+                return bool_value(as_bool(args[0]) & as_bool(args[1]));
+            } else if imp.function == self.bitor_fn {
+                return bool_value(as_bool(args[0]) | as_bool(args[1]));
+            } else if imp.function == self.bitxor_fn {
+                return bool_value(as_bool(args[0]) ^ as_bool(args[1]));
+            }
         }
 
         let args = match args