Chapter 2 - The Logic of Compound Statements - Exercise Set 2.1 - Page 38: 43

tautology

$(\lnot p\lor q)\lor(p \land \lnot q)$ $\underline{\ p\ |\ q\ |\ \lnot p\ |\ \lnot q\ |(\lnot p\lor q)\lor(p \land \lnot q) |result}$ $T\ |\ T|\ \ \ F\ |\ \ F\ |(F\lor T)\lor(T \land F)\ |\ \ \ T$ $T\ |\ F|\ \ \ F\ |\ \ T\ |(F\lor F)\lor(T \land T)\ |\ \ \ T$ $F\ |\ T|\ \ \ T\ |\ \ F\ |(T\lor T)\lor(F \land F)\ |\ \ \ T$ $F\ |\ F|\ \ \ T\ |\ \ T\ |(T\lor F)\lor(F \land T)\ |\ \ \ T$