~/paste/1020
~/paste/1020
~/paste/1020

1. \documentclass[12pt,a4paper]{article}
2. \usepackage{german}
3. \usepackage[utf8]{inputenc}
4. \usepackage{textcomp}
5. \usepackage{tabularx}
6.
7. \begin{document}
8.
9. \section*{4}
10. \begin{tabularx}{\textwidth}{c|c|c||c}
11. $\mathbf{p}$ & $\mathbf{q}$ & $\mathbf{r}$ & $\mathbf{((p \Rightarrow q) \wedge (q \Rightarrow r)) \Rightarrow (q \Leftrightarrow r)}$ \\
12. %\textbf{p} & \textbf{q} & \textbf{r} & \textbf{((p => q) \^ (q => r)) => (q <=> r)} \\
13. $0$ & $0$ & $0$ & $1$ \\
14. $0$ & $0$ & $1$ & $0$ \\
15. $\mathit{0}$ & $\mathit{1}$ & $\mathit{0}$ & $\mathit{1}$ \\
16. $\mathit{0}$ & $\mathit{1}$ & $\mathit{1}$ & $\mathit{0}$ \\
17. $\mathit{1}$ & $\mathit{0}$ & $\mathit{0}$ & $\mathit{0}$ \\
18. $\mathit{1}$ & $\mathit{0}$ & $\mathit{1}$ & $\mathit{0}$ \\
19. $\mathit{1}$ & $\mathit{1}$ & $\mathit{0}$ & $\mathit{0}$ \\
20. $\mathit{1}$ & $\mathit{1}$ & $\mathit{1}$ & $\mathit{0}$ \\
21. \multicolumn{4}{l}{Tautologie: nein} \\
22. \end{tabularx}
23.
24. \section*{4}
25. \begin{tabularx}{\textwidth}{c|c|c||c}
26. $\mathbf{p}$ & $\mathbf{q}$ & $\mathbf{r}$ & $\mathbf{((p \Rightarrow q) \wedge (q \Rightarrow r)) \Rightarrow (q \Rightarrow r)}$ \\
27. %\textbf{p} & \textbf{q} & \textbf{r} & \textbf{((p => q) \^ (q => r)) => (q => r)} \\
28. $0$ & $0$ & $0$ & $1$ \\
29. $0$ & $0$ & $1$ & $1$ \\
30. $0$ & $1$ & $0$ & $1$ \\
31. $0$ & $1$ & $1$ & $1$ \\
32. $1$ & $0$ & $0$ & $0$ \\
33. $\mathit{1}$ & $\mathit{0}$ & $\mathit{1}$ & $\mathit{1}$ \\
34. $\mathit{1}$ & $\mathit{1}$ & $\mathit{0}$ & $\mathit{1}$ \\
35. $\mathit{1}$ & $\mathit{1}$ & $\mathit{1}$ & $\mathit{1}$ \\
36. \multicolumn{4}{l}{Tautologie: nein} \\
37. \end{tabularx}
38.
39. \section*{4}
40. \begin{tabularx}{\textwidth}{c|c|c||c}
41. $\mathbf{p}$ & $\mathbf{q}$ & $\mathbf{r}$ & $\mathbf{((p \Rightarrow q) \Rightarrow r ) \Rightarrow (p \Rightarrow (q \Rightarrow r))}$ \\
42. % ((p => q) => r) => (p => (q => r)) %
43. $0$ & $0$ & $0$ & $1$ \\
44. $0$ & $0$ & $1$ & $1$ \\
45. $0$ & $1$ & $0$ & $1$ \\
46. $0$ & $1$ & $1$ & $1$ \\
47. $1$ & $0$ & $0$ & $1$ \\
48. $1$ & $0$ & $1$ & $1$ \\
49. $1$ & $1$ & $0$ & $1$ \\
50. $1$ & $1$ & $1$ & $1$ \\
51. \multicolumn{4}{l}{Tautologie: ja} \\
52. \end{tabularx}
53.
54. \section*{4}
55. \begin{tabularx}{\textwidth}{c|c|c||c}
56. $\mathbf{p}$ & $\mathbf{q}$ & $\mathbf{r}$ & $\mathbf{((p \Rightarrow q) \Rightarrow q) \Rightarrow p}$ \\
57. % ((p => q) => q) => p %
58. $0$ & $0$ & $0$ & $1$ \\
59. $0$ & $0$ & $1$ & $1$ \\
60. $0$ & $1$ & $0$ & $1$ \\
61. $0$ & $1$ & $1$ & $1$ \\
62. $1$ & $0$ & $0$ & $1$ \\
63. $1$ & $0$ & $1$ & $1$ \\
64. $1$ & $1$ & $0$ & $1$ \\
65. $1$ & $1$ & $1$ & $1$ \\
66. \multicolumn{4}{l}{Tautologie: ja} \\
67. \end{tabularx}
68.
69. \end{document}
Language: latex
Posted by Anonymous at 31 Oct 2011, 12:14:39 UTC