|
original poster
APPSYZY
posted 2022-12-17 03:11
再给出一个和 kuing 不同的解决方案:
- % \usepackage{tabularray}
- \begin{table}
- \center
- $\begin{tblr}{
- cells = {c},
- vline{5-6} = {2-5}{},
- }
- (\sim & (p & \wedge & q) & \leftrightarrow & ((\sim & p) & \vee & (\sim & q))) \\
- F & T & T & T & T & F & T & F & F & T \\
- T & T & F & F & T & F & T & T & T & F \\
- T & F & F & T & T & T & F & T & F & T \\
- T & F & F & F & T & T & F & T & T & F
- \end{tblr}$
- \end{table}
Copy the Code |
|