Как я мог верстать формула так:группировка и логический вывод в математическом режиме
boolean operations http://i43.tinypic.com/6r3rih.jpg
Он должен соблюдать правила типографики, но он должен выглядеть очень похоже.
(Предполагая, что вы имели в виду использование логической дизъюнкции и логической импликации)
\[
\left.\begin{array}{l}
A = T \\ B = F
\end{array}\right\}
\implies A \lor B = T \lor F = T
\]
Вы можете использовать среду aligned (требуется пакет amsmath), например.
\left. \begin{aligned}
A &= T \\
B &= F
\end{aligned} \right\} \implies A \vee B = T \vee F = T
Спасибо это выглядит красиво, к сожалению 1. Я не мог найти это на ctan, и нет никакого «aligned.sty» в Интернете (или я не мог его найти) и 2. Я ' m уже использует пакет пакетов, поэтому я предпочитаю держать его тонким, используя вышеприведенное решение. Вы можете поместить ссылку на пакет, и я, конечно же, выдвинуту его, поскольку это может быть приемлемым решением для других. – Flavius
@Flavius: Если вы Google для '' выровненной среды '', то первые несколько ссылок упоминают' amsmath' уже. – kennytm
Этот код должен делать то, что вы хотите:
\[
\left.
\begin{array}{c}
A = T\\
B = F
\end{array}
\right\}
\Rightarrow A \vee B = T \vee F = T
\]
Да, это дизъюнкции. благодаря – Flavius