\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}