Chapter 1 - Section 1.1 - Propositional Logic - Exercises - Page 15: 33

\[ \begin{array}{C|C} \overbrace{(p\lor q)\to (p\bigoplus q)}^{\textbf{(a)}} & \overbrace{(p\bigoplus q)\to (p\land q)}^{\textbf{(b)}} \\ F & F\\ F & F\\ T & F\\ T & F\\ T & F\\ T & F\\ T & T\\ T & T\\ \hline \end{array} \] \[ \begin{array}{C|C} \overbrace{(p\lor q)\bigoplus (p\land q)}^{\textbf{(c)}} & \overbrace{(p\leftrightarrow q)\bigoplus (\neg p\leftrightarrow q)}^{\textbf{(d)}} \\ F & T\\ F & T\\ T & T\\ T & T\\ T & T\\ T & T\\ F & F\\ F & F\\ \hline \end{array} \] \[ \begin{array}{C|C} \overbrace{(p\leftrightarrow q)\bigoplus (\neg p\leftrightarrow \neg r)}^{\textbf{(e)}} & \overbrace{(p\bigoplus q)\to (p\bigoplus \neg q)}^{\textbf{(f)}} \\ F & F\\ T & F\\ T & F\\ F & F\\ F & F\\ T & F\\ T & F\\ F & F\\ \hline \end{array} \]

\[ \begin{array}{C|C|C|C|C|C} p & q &r& p\lor q & p\land q &p\bigoplus q \\ \hline T & T & T & T & T & F\\ T & T & F & T & T & F\\ T & F & T & T & F & T\\ T & F & F & T & F & T\\ F & T & T & T & F & T\\ F & T & F & T & F & T\\ F & F & T & F & F & F\\ F & F & F & F & F & F\\ \end{array} \] \[ \begin{array}{C|C} \overbrace{(p\lor q)\to (p\bigoplus q)}^{\textbf{(a)}} & \overbrace{(p\bigoplus q)\to (p\land q)}^{\textbf{(b)}} \\ F & F\\ F & F\\ T & F\\ T & F\\ T & F\\ T & F\\ T & T\\ T & T\\ \hline \end{array} \] \[ \begin{array}{C|C} \overbrace{(p\lor q)\bigoplus (p\land q)}^{\textbf{(c)}} & \overbrace{(p\leftrightarrow q)\bigoplus (\neg p\leftrightarrow q)}^{\textbf{(d)}} \\ F & T\\ F & T\\ T & T\\ T & T\\ T & T\\ T & T\\ F & F\\ F & F\\ \hline \end{array} \] \[ \begin{array}{C|C} \overbrace{(p\leftrightarrow q)\bigoplus (\neg p\leftrightarrow \neg r)}^{\textbf{(e)}} & \overbrace{(p\bigoplus q)\to (p\bigoplus \neg q)}^{\textbf{(f)}} \\ F & F\\ T & F\\ T & F\\ F & F\\ F & F\\ T & F\\ T & F\\ F & F\\ \hline \end{array} \]