From d80672a760306dc77f7a18f037195c1241e3d411 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Fri, 14 Jun 2024 12:01:39 +0200
Subject: [PATCH] fixed typo in bdds 0007 sol

---
 bdds/0007_sol.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bdds/0007_sol.tex b/bdds/0007_sol.tex
index 373a19e..6d8063e 100644
--- a/bdds/0007_sol.tex
+++ b/bdds/0007_sol.tex
@@ -1,5 +1,5 @@
 \begin{center}
-$f = (a \land b \land c) \lor (a \land \lnot b \land e) \lor (a \land b \land \lnot c \land \lnot e) \lor (\lnot a \land \lnot c \land d) \lor 
+$f = (a \land b \land c) \lor (a \land \lnot b \land e) \lor (a \land b \land \lnot c \land \lnot e) \lor (\lnot a \land \lnot c \land \lnot d) \lor
 \newline
 (\lnot a \land c \land \lnot e) \lor (\lnot a \land \lnot c \land d \land e)$
-\end{center}
\ No newline at end of file
+\end{center}