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

EN

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

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

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