Grouping and logical implication in math mode

Question

How can I type a formula like this:

He should respect the typographic rules, but he should look very similar.

Answer 1

(Assuming you wanted 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 2

You can use the environment aligned(package required amsmath), for example

\left. \begin{aligned}
   A &= T \\
   B &= F 
\end{aligned} \right\} \implies A \vee B = T \vee 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
\]