[LaTeX] grouping and logical implication in math mode

Question

Hi

How could I typeset a formula like this:

It should respect typographic rules, but it must look very similar.

Answer 1

You could use the aligned environment (requires the amsmath package), e.g.

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

Answer 2

(Assuming you meant to use logical disjunction and logical implication)

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

Answer 3

This code should do what you want:

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