From c188e082751a279577ce84702744618387721225 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Fri, 22 Apr 2016 23:19:04 +0200
Subject: lds 01

---
 ss2016/lds/01/H1-1.md | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 ss2016/lds/01/H1-1.md

(limited to 'ss2016/lds/01/H1-1.md')

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 @@
+\begin{center}
+\begin{tikzpicture}[level 1/.style={level distance=1.5cm}]
+\Tree
+[.$\lequiv$ 
+  [.$\limplies$
+    [.$A$ ]
+    [.$B$ ]
+  ]
+  [.$\limplies$
+    [.$C$ ]
+    [.$\limplies$
+      [.$\lnot$ $D$ ]
+      [.$\lor$
+        [.$E$ ]
+        [.$\land$
+          [.$F$ ]
+          [.$G$ ]
+        ]
+      ]
+    ]
+  ]
+]
+\end{tikzpicture}
+\end{center}
-- 
cgit v1.2.3