\begin{table}[!htbp]
\centering
\begin{tabular}{|c|c|c|c|c|c|c|c|}
\hline
P & Q & R & (P \ensuremath{\vee} Q) & ((P \ensuremath{\vee} Q) \ensuremath{\vee} R) & (Q \ensuremath{\vee} R) & (P \ensuremath{\vee} (Q\ensuremath{\vee} R)) & (P \ensuremath{\vee} Q) \ensuremath{\vee} R \ensuremath{\leftrightarrow} P \ensuremath{\vee} (Q \ensuremath{\vee} R)\\ \hline
True & True & True & True & True & True & True & True\\ \hline
True & True & False & True & True & True & True & True\\ \hline
True & False & False & True & True & False & True & True\\ \hline
True & False & True & True & True & True & True & True\\ \hline
False & True & True & True & True & True & True & True\\ \hline
False & True & False & True & True & True & True & True\\ \hline
False & False & True & False & True & True & True & True\\ \hline
False & False & False & False & False & False & False & True\\ \hline
\end{tabular}
\end{table}
如何防止表格超出页面范围?
答案1
很少有理由使用\ensuremath
;你的用法是错误的,因为磷不能在语句中以斜体显示,也不能在表格中以直立显示。
我建议使用“T”和“F”代替较长的“True”和“False”。然后您可以拆分表头中的最后一个公式。
删除所有垂直线和几乎所有的水平线。
最后,你会发现一个较小的表格,其中使用逆波兰表示法进行推论,其中组合公式的真值放在联结词下方。
在这种情况下,双箭头应该是二元运算而不是关系。
最后,但非常重要:没有法律规定tabular
必须将 a 放在 a 里面table
。在这种情况下,你可以不是你想让桌子浮动吗?所以,不是table
,而是一个\[...\]
将其置于中心的结构。
\documentclass{article}
\usepackage{amsmath,mathtools}
\usepackage{booktabs}
\newcommand{\liff}{\mathbin{\leftrightarrow}}
\begin{document}
\subsubsection*{Exercise 5}
Use truth tables to verify the associative laws:\\*[2ex]
a)\qquad $(P \lor Q) \lor R \liff P \lor (Q \lor R)$
\[
\addtolength{\tabcolsep}{-1pt}
\begin{tabular}{@{}*{8}{c}@{}}
\toprule
$P$ & $Q$ & $R$ & $P \lor Q$ & $(P \lor Q) \lor R$ & $Q \lor R$ &
$P \lor (Q \lor R)$ &
\begin{tabular}{@{}l@{}}
$(P \lor Q) \lor R$ \\ \quad${}\liff P \lor (Q \lor R)$\end{tabular}\\
\midrule
T & T & T & T & T & T & T & T\\
T & T & F & T & T & T & T & T\\
T & F & F & T & T & F & T & T\\
T & F & T & T & T & T & T & T\\
F & T & T & T & T & T & T & T\\
F & T & F & T & T & T & T & T\\
F & F & T & F & T & T & T & T\\
F & F & F & F & F & F & F & T\\
\bottomrule
\end{tabular}
\]
b)\qquad $(P \land Q) \land R \leftrightarrow P \land (Q\land R)$
\subsubsection*{Alternative}
\begin{tabular}{*{11}{c}}
\toprule
$P$ & $Q$ & $\lor$ & $R$ & $\lor$ & $P$ & $Q$ & $R$ & $\lor$ & $\lor$ & $\liff$ \\
\midrule
T & T & T & T & T & T & T & T & T & T & T \\
T & T & T & F & T & T & T & F & T & T & T \\
T & F & T & T & T & T & F & T & T & T & T \\
T & F & T & F & T & T & F & F & F & T & T \\
F & T & T & T & T & F & T & T & T & T & T \\
F & T & T & F & T & F & T & F & T & T & T \\
F & F & F & T & T & F & F & T & T & T & T \\
F & F & F & F & F & F & F & F & F & F & T \\
\bottomrule
\end{tabular}
\end{document}
答案2
答案很简单:让表格变窄:-)例如这样:
\begin{table}[!htbp]
\centering
\begin{tabular}{|c|c|c|c|c|c|c|c|}
\hline
$P$ & $Q$ & $R$ & $(P\vee Q)$
& $(P\vee Q)\vee R)$
& $(Q\vee R)$
& $(P\vee (Q\vee R))$
& $\begin{multlined}
(P\vee Q)\vee R \\[-2.5ex]
\leftrightarrow P\vee (Q\vee R)
\end{multlined}$ \\ \hline
True & True & True & True & True & True & True & True \\ \hline
True & True & False & True & True & True & True & True \\ \hline
True & False & False & True & True & False & True & True \\ \hline
True & False & True & True & True & True & True & True \\ \hline
False & True & True & True & True & True & True & True \\ \hline
False & True & False & True & True & True & True & True \\ \hline
False & False & True & False & True & True & True & True \\ \hline
False & False & False & False & False & False & False & True \\ \hline
\end{tabular}
\end{table}
请编辑您的问题并扩展表格代码以完成小文档。我在我的“测试区”中使用以下序言对此进行了测试:
\documentclass{article}
\usepackage{mathtools}
如果您的页面布局与我在测试中使用的非常不同,那么结果也会不同。