代码之家  ›  专栏  ›  技术社区  ›  Flavius

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

  •  3
  • Flavius  · 技术社区  · 15 年前

    我如何排版这样的公式:

    boolean operations

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

    3 回复  |  直到 5 年前
        1
  •  1
  •   In silico    15 年前

    (假设您打算使用逻辑析取和逻辑蕴涵)

    \[
    \left.\begin{array}{l}
        A = T \\ B = F 
    \end{array}\right\} 
    \implies A \lor B = T \lor F = T
    \]
    
        2
  •  3
  •   Community CDub    8 年前

    你可以用这个 aligned amsmath 包装),例如。

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

        3
  •  1
  •   Lohrun    15 年前

    此代码应该执行您想要的操作:

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