ss2016/lds/01/H1-1.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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}