如何正确对齐逻辑运算符？

Question

我一直无法正确地对齐这些方程式 、\iff和需要对齐，但我还需要它们周围的东西不要接触=并且接触相等/不相等，例如\ne\land\land

a=b and c=d

\begin{align*}
\phantom{\iff} &\frac{a}{b}&=\frac{c}{b}
&\land  
a&\ne c \\[1mm]

\iff &\frac{a}{b}+\left(-\frac{a}{b}\right)&=\frac{c}{b}+\left(-\frac{a}{b}\right) 
&\land
a+(-a)&\ne c+(-a) \\[1mm]

\iff &0&=\frac{cb+(a)b}{bb} 
&\land 
0\ne c+(-a)
\end{align*}

我是乳胶新手，所以欢迎任何其他建议

Answer 1

我认为这就是你要找的。 alignat比 更适合这种构造align，所以我用了它。数学中不应该有空行，所以我把这些行设为“注释”，以提供视觉上的分隔。我还在 周围添加了明确的空格\land来将其分开。真正的挑战是让所有的 都&按正确的顺序（和数字）排列。

\documentclass{article}
\usepackage{amsmath}
\begin{document}
some text
\begin{alignat*}{6}
  &&\frac{a}{b}&=\frac{c}{b}
  &&\quad \land \quad
  &a&\ne c \\[1mm]
%
\iff &&\frac{a}{b}+\left(-\frac{a}{b}\right)
  &=\frac{c}{b}+\left(-\frac{a}{b}\right) 
  &&\quad \land \quad
  &a+(-a)&\ne c+(-a) \\[1mm]
%
\iff &&0&=\frac{cb+(a)b}{bb} 
  &&\quad \land \quad
  &0&\ne c+(-a)
\end{alignat}
some following text
\end{document}