summaryrefslogtreecommitdiff
path: root/ss2016/lds/01/H1-1.md
diff options
context:
space:
mode:
Diffstat (limited to 'ss2016/lds/01/H1-1.md')
-rw-r--r--ss2016/lds/01/H1-1.md24
1 files changed, 24 insertions, 0 deletions
diff --git a/ss2016/lds/01/H1-1.md b/ss2016/lds/01/H1-1.md
new file mode 100644
index 0000000..e84b407
--- /dev/null
+++ b/ss2016/lds/01/H1-1.md
@@ -0,0 +1,24 @@
1\begin{center}
2\begin{tikzpicture}[level 1/.style={level distance=1.5cm}]
3\Tree
4[.$\lequiv$
5 [.$\limplies$
6 [.$A$ ]
7 [.$B$ ]
8 ]
9 [.$\limplies$
10 [.$C$ ]
11 [.$\limplies$
12 [.$\lnot$ $D$ ]
13 [.$\lor$
14 [.$E$ ]
15 [.$\land$
16 [.$F$ ]
17 [.$G$ ]
18 ]
19 ]
20 ]
21 ]
22]
23\end{tikzpicture}
24\end{center}