1
$\begingroup$

I cannot see any steps to this problem! Surely the answer is obvious? Is there a particular law which is used to make this statement?

$$((Q \wedge ¬P) \vee (Q \wedge P)) = Q$$

  • 0
    Shouldn't it be $$((Q \wedge ¬P) \vee (Q \wedge P)) = Q$$?2012-05-07
  • 2
    It's hard to say, because you haven't said what steps are allowed. For example, if you already know that $\vee$ distributes over $\wedge$, the thing is very simple: you factor out the $Q$ from the disjuncts, obtaining $(Q\wedge(P\vee\lnot P))=Q$, etc.2012-05-07
  • 1
    MarkDominus yes you are right, I can see the answer now. $$(Q \wedge (P \vee ¬P)) = Q$$ (Distributive Law) $$(Q \wedge T) = Q$$ (Excluded Middle) $$Q = Q$$ (Identity)2012-05-07

2 Answers 2

1

HINT: $$(Q\land\lnot P)\lor(Q\land P)\equiv Q\land(\lnot P\lor P)$$ by distributivity. Or of course you can simply use a truth table, if you're allowed to do so in this problem.

  • 0
    @Mark: I'm sure that I didn't. Thanks for the quick catch.2012-05-07
0

The shape of this makes me think of DeMorgan's Laws. You could start with $Q=Q \vee False$ But you could just do a truth table.