группировка и логическая импликация в математическом режиме

Question

Как я могу набрать формулу, подобную этой:

логические операции 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}{c}
    A = T\\
    B = F
  \end{array}
  \right\}
  \Rightarrow A \vee B = T \vee F = T
\]

Answer 3

(Предполагается, что вы намеревались использовать логическую дизъюнкцию и логическое значение)

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