☰

真值与真值表中的连接词的对齐

tag-icon • tag-icon tables math-mode alignment logic
真值与真值表中的连接词的对齐

我想排版一个真值表，其中复杂公式的真值与相应的连接词对齐，如附件所示。有人知道解决办法吗？提前谢谢！

在此处输入图片描述

答案1

你没有提供代码，所以我认为我不应该回答这个问题。不过，这只需要对我碰巧拥有的代码进行快速修改。

基本上，您可以使用tabular带有列c和@{}列分隔符的说明符。这有点麻烦，但效果相当好。本例中的最后一列和原子的简单否定留给读者练习。

当分隔两个 wff 或两个句子字母时，使用cc。当分隔 wff 的一部分与另一部分时，使用c@{}c以避免列之间的分隔。

\documentclass[border=5pt]{standalone}
\newcommand*{\tnot}{\ensuremath{\mathord{\sim}}}
\begin{document}
  \begin{tabular}{*{3}{c}|c@{}cc@{}c@{}c@{}cc}$P$&$Q$&$R$&$\tnot$&$(P \lor R)$&$\tnot$ & $(Q $ &$\,\&\,$&$\tnot R)$&$\tnot P \,\&\, \tnot Q$\\
  \hline
  1&1&1&0&1 &1&&0&&0 \\
  1&1&0&0&1 &0&&1&&0 \\
  1&0&1&0&1 &1&&0&&0 \\
  1&0&0&0&1 &1&&0&&0 \\
  0&1&1&0&1 &1&&0&&0 \\
  0&1&0&1&0 &0&&1&&0 \\
  0&0&1&0&1 &1&&0&&1 \\
  0&0&0&1&0 &1&&0&&1 \\
\end{tabular}
\end{document}

与真值表中的连接词对齐

相关内容