\begin{align*}
\begin{array}{cc|>{\boldsymbol}cclccl}
X&Y&\neg&X&\rightarrow(&Y&\rightarrow&X))\\
\hline
0&0&0&0&1&0&1&0\\
0&1&0&0&1&1&0&0\\
1&0&0&1&1&0&1&1\\
1&1&0&1&1&1&1&1
\end{array}
\end{align*}
我只需要将垂直线右侧的第一列加粗。我不知道该怎么做；希望有人能帮忙。
答案1
collcell似乎在这里有帮助，通过传递单元格内容给\user macro（带有一个参数）array类列规范
. . . >{\collectcell\usermacro}c<{\endcollectcell} . . .
\documentclass{article}
\usepackage{amsmath,collcell}
\begin{document}
\[
\begin{array}{ c c | >{\collectcell\boldsymbol}c<{\endcollectcell} c l c c l }
X & Y & \neg & X & \rightarrow( & Y & \rightarrow & X)) \\
\hline
0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 \\
0 & 1 & 0 & 0 & 1 & 1 & 0 & 0 \\
1 & 0 & 0 & 1 & 1 & 0 & 1 & 1 \\
1 & 1 & 0 & 1 & 1 & 1 & 1 & 1
\end{array}
\]
\end{document}
答案2
另一种可能性是，不使用collcell，使用如下简短定义：
\def\bstart#1\bstop{\boldsymbol{#1}}
这样，您将能够绕过&数组每个单元格末尾的字符并获得所需的粗体数学符号。
\documentclass{article}
\usepackage{amsmath,array}
\def\bstart#1\bstop{\boldsymbol{#1}}
\begin{document}
\[
\begin{array}{ c c | >{\bstart} c <{\bstop} c l c c l }
X & Y & \neg & X & \rightarrow( & Y & \rightarrow & X)) \\
\hline
0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 \\
0 & 1 & 0 & 0 & 1 & 1 & 0 & 0 \\
1 & 0 & 0 & 1 & 1 & 0 & 1 & 1 \\
1 & 1 & 0 & 1 & 1 & 1 & 1 & 1
\end{array}
\]
\end{document}
答案3
启用\boldmath，但为此我们需要退出数学模式，发出\boldmath并重新进入数学模式。使用新的列类型可以更方便地完成此操作。
\documentclass{article}
\usepackage{amsmath,array}
\newcolumntype{C}{>{$\boldmath$}c}
\begin{document}
\[
\begin{array}{ c c | C c l c c l }
X & Y & \neg & X & \rightarrow( & Y & \rightarrow & X)) \\
\hline
0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 \\
0 & 1 & 0 & 0 & 1 & 1 & 0 & 0 \\
1 & 0 & 0 & 1 & 1 & 0 & 1 & 1 \\
1 & 1 & 0 & 1 & 1 & 1 & 1 & 1
\end{array}
\]
\end{document}
答案4
\begin{document}
\huge
\begin{tabular}{cc|cccccc}
X&Y&${\bf\neg}$&X&$\rightarrow$&Y&$\rightarrow$&X\\ \hline
0&0&{\bf 0}&0&1&0&1&0\\
0&1&{\bf 0}&0&1&1&0&0\\
1&0&{\bf 0}&1&1&0&1&1\\
1&1&{\bf 0}&1&1&1&1&1\\\hline
\end{tabular}
\end{document}
% 这是一种简单的准备表格的方法。