~/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