数学模式中的分组和逻辑蕴涵

Question

我如何排版这样的公式：

boolean operations http://i43.tinypic.com/6r3rih.jpg

它应该尊重排版规则，但它看起来非常相似。

Answer 1

您可以使用aligned环境（需要amsmath包），例如

\left. \begin{aligned}
   A &= T \\
   B &= F 
\end{aligned} \right\} \implies A \vee B = T \vee F = T

Answer 2

（假设你打算使用逻辑分离和逻辑暗示）

\[
\left.\begin{array}{l}
    A = T \\ B = F 
\end{array}\right\} 
\implies A \lor B = T \lor F = T
\]

Answer 3

此代码应该按您的要求执行：

\[ 
  \left.
  \begin{array}{c}
    A = T\\
    B = F
  \end{array}
  \right\}
  \Rightarrow A \vee B = T \vee F = T
\]