diff --git a/src/expressions/helpers.rs b/src/expressions/helpers.rs
index 1aaa6e3..05451ac 100644
--- a/src/expressions/helpers.rs
+++ b/src/expressions/helpers.rs
@@ -2,6 +2,32 @@ use std::rc::Rc;
 use crate::expressions::expression::Expression;
 use crate::expressions::operator::BinaryOperator;
 
+impl Expression {
+    #[inline]
+    #[must_use]
+    pub fn and(self, other: impl Into<Rc<Expression>>) -> Expression {
+        and(self, other)
+    }
+
+    #[inline]
+    #[must_use]
+    pub fn or(self, other: impl Into<Rc<Expression>>) -> Expression {
+        or(self, other)
+    }
+
+    #[inline]
+    #[must_use]
+    pub fn implies(self, other: impl Into<Rc<Expression>>) -> Expression {
+        implies(self, other)
+    }
+
+    #[inline]
+    #[must_use]
+    pub fn not(self) -> Expression {
+        not(self)
+    }
+}
+
 #[inline]
 #[must_use]
 pub fn and<L, R>(left: L, right: R) -> Expression
diff --git a/src/parsing/expression_parser.rs b/src/parsing/expression_parser.rs
index 28bc3c5..2c12513 100644
--- a/src/parsing/expression_parser.rs
+++ b/src/parsing/expression_parser.rs
@@ -9,7 +9,7 @@ use nom::IResult;
 use nom::sequence::{pair, preceded};
 
 use crate::expressions::expression::Expression;
-use crate::expressions::helpers::{and, atomic, implies, not, or};
+use crate::expressions::helpers::atomic;
 
 pub fn parse_expression(input: &str) -> Result<Expression, nom::Err<Error<&str>>> {
     exhausted(_parse_expression)(input).into_result()
@@ -72,7 +72,7 @@ fn and_expression<'a>(previous: Expression) -> impl Fn(&'a str) -> IResult<&'a s
             trim(char('&')),
             left_hand_side,
         )(input).map(|(remaining, right)| {
-            (remaining, and(previous.clone(), right))
+            (remaining, previous.clone().and(right))
         })
     }
 }
@@ -91,7 +91,7 @@ fn or_expression<'a>(previous: Expression) -> impl Fn(&'a str) -> IResult<&'a st
                 left_hand_side,
             )),
         )(input).map(|(remaining, right)| {
-            (remaining, or(previous.clone(), right))
+            (remaining, previous.clone().or(right))
         })
     }
 }
@@ -111,7 +111,7 @@ fn implication_expression<'a>(previous: Expression) -> impl Fn(&'a str) -> IResu
                 left_hand_side,
             )),
         )(input).map(|(remaining, right)| {
-            (remaining, implies(previous.clone(), right))
+            (remaining, previous.clone().implies(right))
         })
     }
 }
@@ -121,7 +121,7 @@ fn not_expression(input: &str) -> IResult<&str, Expression> {
         char('!'),
         left_hand_side,
     )(input).map(|(remaining, right)| {
-        (remaining, not(right))
+        (remaining, right.not())
     })
 }