我怎样才能“理顺”乳胶？

Question

下面看到的图片基本上就是当我在 LyX 中的乳胶盒内编译 1 条长乳胶行时发生在我身上的情况 - 它“聚集”在原始行的顶部，而不是扩展到新行......我该如何解决这个问题？

另外，我该如何组织我的工作，以便每个方程式都写在新行上？我知道 ctrl+shift+M 可以做到这一点，但我希望我的工作不是大文本，也不是居中。在我的情况下，创建新行不起作用，因为会有枚举的缩进。

\documentclass[english]{article}
\usepackage[T1]{fontenc}
\usepackage[latin9]{inputenc}
\usepackage{amsmath}
\usepackage{babel}

\begin{document}
\begin{enumerate}
\item Exercise 16:
\global\long\def\and{\wedge}%
\global\long\def\or{\vee}%
\begin{enumerate}
\item $[(p\implies q)\and(q\implies r)]\implies(p\implies r)\equiv\neg[(\neg p\or q)\and(\neg q\or r)]\or(\neg q\or r)\equiv\neg(\neg p\or q)\or\neg(\neg q\or r)\or(\neg p\or r)\equiv(p\and\neg q)\or(q\and\neg r)\or\neg q\or r\equiv[(\neg q\and p)\or\neg q]\or[(q\and\neg r)\or r]\equiv\neg q\or p\or q\or r$As
one can easily observe, $\neg q\or q$ is a tautology, hence the entire
statement is a tautology.
\end{enumerate}
\end{enumerate}
\end{document}