\begin{document}
$\mathbf{p}$ & $\mathbf{q}$ & $\mathbf{r}$ & $\mathbf{((p \Rightarrow q) \wedge (q \Rightarrow r)) \Rightarrow (q \Leftrightarrow r)}$ \\
%\textbf{p} & \textbf{q} & \textbf{r} & \textbf{((p => q) \^ (q => r)) => (q <=> r)} \\
$0$ & $0$ & $0$ & $1$ \\
$0$ & $0$ & $1$ & $0$ \\
$\mathit{0}$ & $\mathit{1}$ & $\mathit{0}$ & $\mathit{1}$ \\
$\mathit{0}$ & $\mathit{1}$ & $\mathit{1}$ & $\mathit{0}$ \\
$\mathit{1}$ & $\mathit{0}$ & $\mathit{0}$ & $\mathit{0}$ \\
$\mathit{1}$ & $\mathit{0}$ & $\mathit{1}$ & $\mathit{0}$ \\
$\mathit{1}$ & $\mathit{1}$ & $\mathit{0}$ & $\mathit{0}$ \\
$\mathit{1}$ & $\mathit{1}$ & $\mathit{1}$ & $\mathit{0}$ \\
\multicolumn{4}{l}{Tautologie: nein} \\
\end{tabularx}
$\mathbf{p}$ & $\mathbf{q}$ & $\mathbf{r}$ & $\mathbf{((p \Rightarrow q) \wedge (q \Rightarrow r)) \Rightarrow (q \Rightarrow r)}$ \\
%\textbf{p} & \textbf{q} & \textbf{r} & \textbf{((p => q) \^ (q => r)) => (q => r)} \\
$0$ & $0$ & $0$ & $1$ \\
$0$ & $0$ & $1$ & $1$ \\
$0$ & $1$ & $0$ & $1$ \\
$0$ & $1$ & $1$ & $1$ \\
$1$ & $0$ & $0$ & $0$ \\
$\mathit{1}$ & $\mathit{0}$ & $\mathit{1}$ & $\mathit{1}$ \\
$\mathit{1}$ & $\mathit{1}$ & $\mathit{0}$ & $\mathit{1}$ \\
$\mathit{1}$ & $\mathit{1}$ & $\mathit{1}$ & $\mathit{1}$ \\
\multicolumn{4}{l}{Tautologie: nein} \\
\end{tabularx}
$\mathbf{p}$ & $\mathbf{q}$ & $\mathbf{r}$ & $\mathbf{((p \Rightarrow q) \Rightarrow r ) \Rightarrow (p \Rightarrow (q \Rightarrow r))}$ \\
% ((p => q) => r) => (p => (q => r)) %
$0$ & $0$ & $0$ & $1$ \\
$0$ & $0$ & $1$ & $1$ \\
$0$ & $1$ & $0$ & $1$ \\
$0$ & $1$ & $1$ & $1$ \\
$1$ & $0$ & $0$ & $1$ \\
$1$ & $0$ & $1$ & $1$ \\
$1$ & $1$ & $0$ & $1$ \\
$1$ & $1$ & $1$ & $1$ \\
\multicolumn{4}{l}{Tautologie: ja} \\
\end{tabularx}
$\mathbf{p}$ & $\mathbf{q}$ & $\mathbf{r}$ & $\mathbf{((p \Rightarrow q) \Rightarrow q) \Rightarrow p}$ \\
% ((p => q) => q) => p %
$0$ & $0$ & $0$ & $1$ \\
$0$ & $0$ & $1$ & $1$ \\
$0$ & $1$ & $0$ & $1$ \\
$0$ & $1$ & $1$ & $1$ \\
$1$ & $0$ & $0$ & $1$ \\
$1$ & $0$ & $1$ & $1$ \\
$1$ & $1$ & $0$ & $1$ \\
$1$ & $1$ & $1$ & $1$ \\
\multicolumn{4}{l}{Tautologie: ja} \\
\end{tabularx}
\end{document}