4
$\begingroup$

So I was asked to simplify this statement $S$:

$$(p \land q) \lor (p \land \neg q)$$

My understanding is that it needs to have a similar truth table, though I'm not sure if that's exactly right. I tried simplifying it, but I can't think of any way to make it simpler and logically equivalent.

Any help is appreciated.

$\endgroup$
2
  • 1
    $\begingroup$ Distributivity. $\endgroup$
    – Git Gud
    Feb 21, 2015 at 21:26
  • 2
    $\begingroup$ @GitGud has pointed the way to an algebraic simplification. As an informal alternative, does the truth value of $q$ have any effect at all on the truth value of $S$? $\endgroup$ Feb 21, 2015 at 21:30

1 Answer 1

8
$\begingroup$

Using the distributive rule on the first line, $$\begin{align} (p\land q) \lor (p \land \lnot q) &\equiv p \land\underbrace{(q \lor \lnot q)}_{\large\text{true}}\\ & \equiv p\end{align}$$

$\endgroup$
2
  • $\begingroup$ Thanks! Didn't think it was as simple as using distribution $\endgroup$ Feb 21, 2015 at 21:50
  • $\begingroup$ You're welcome! $\endgroup$
    – amWhy
    Feb 21, 2015 at 21:52

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .