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}