diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
index f0c6fc8..f063173 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
@@ -54,6 +54,11 @@
 	public static final Symbol neq = new Symbol("neq", 2, Symbol.Type.PREFIX, "!=", Symbol.Type.INFIX);
 	public static final Symbol gt = new Symbol("gt", 2, Symbol.Type.PREFIX, ">", Symbol.Type.INFIX);
 	public static final Symbol lt = new Symbol("lt", 2, Symbol.Type.PREFIX, "<", Symbol.Type.INFIX);
+	public static final Symbol and = new Symbol("and", 2, Symbol.Type.PREFIX, "&&", Symbol.Type.INFIX);
+	public static final Symbol or = new Symbol("or", 2, Symbol.Type.PREFIX, "||", Symbol.Type.INFIX);
+	public static final Symbol neg = new Symbol("neg", 1, Symbol.Type.PREFIX, "!", Symbol.Type.PREFIX);
+	public static final Symbol true_ = new Symbol("true", 0, Symbol.Type.PREFIX, "true", Symbol.Type.PREFIX);
+	public static final Symbol false_ = new Symbol("false", 0, Symbol.Type.PREFIX, "false", Symbol.Type.PREFIX);
 	public static final Symbol tuple = new Symbol("tuple", -1, Symbol.Type.PREFIX, new Symbol.IImplGenerator() {
 		@Override
 		public String generate(Type type, String[] childrenImpl, String[] sideEffects) {
@@ -79,6 +84,11 @@
 		contains.setSignature(new Type[] {typeBoolean, typeList, null});
 		get.setSignature(new Type[] {null, typeList, typeInt});
 		set.setSignature(new Type[] {typeList, typeList, typeInt, null});
+		and.setSignature(new Type[] {typeBoolean, typeBoolean, typeBoolean});
+		or.setSignature(new Type[] {typeBoolean, typeBoolean, typeBoolean});
+		neg.setSignature(new Type[] {typeBoolean, typeBoolean});
+		true_.setSignature(new Type[] {typeBoolean});
+		false_.setSignature(new Type[] {typeBoolean});
 		tuple.setSignature(new Type[] {typeTuple, null, null});
 		tuple.setInverses(new Symbol[] {fst, snd});
 		fst.setSignature(new Type[] {null, typeTuple});
@@ -116,6 +126,11 @@
 		addSymbol(neq);
 		addSymbol(gt);
 		addSymbol(lt);
+		addSymbol(and);
+		addSymbol(or);
+		addSymbol(neg);
+		addSymbol(true_);
+		addSymbol(false_);
 		addSymbol(tuple);
 		addSymbol(fst);
 		addSymbol(snd);