diff --git a/src/bitwuzla_mappings.default.ml b/src/bitwuzla_mappings.default.ml
index 8286da60..ca0b6fe6 100644
--- a/src/bitwuzla_mappings.default.ml
+++ b/src/bitwuzla_mappings.default.ml
@@ -64,6 +64,10 @@ module Fresh_bitwuzla (B : Bitwuzla_cxx.S) : M = struct
 
   let or_ t1 t2 = mk_term2 Kind.Or t1 t2
 
+  let logand ts = mk_term Kind.And (Array.of_list ts)
+
+  let logor ts = mk_term Kind.Or (Array.of_list ts)
+
   let xor t1 t2 = mk_term2 Kind.Xor t1 t2
 
   let eq t1 t2 = mk_term2 Kind.Equal t1 t2
diff --git a/src/mappings.nop.ml b/src/mappings.nop.ml
index c6ce9c4c..5cd04ed2 100644
--- a/src/mappings.nop.ml
+++ b/src/mappings.nop.ml
@@ -50,6 +50,10 @@ module Nop = struct
 
     let or_ _ = assert false
 
+    let logand _ = assert false
+
+    let logor _ = assert false
+
     let xor _ = assert false
 
     let eq _ = assert false