Use basic logical equivalences to verify that: (p∧q∧r)∨(¬p∧q∧r)=(q∧r).

ie. associativity, commutativity, distributivity, etc.

I know its probably something really simple but I just don't see it...

Printable View

- Oct 21st 2009, 04:55 PMMitchellUse basic logical equivalences to show?
Use basic logical equivalences to verify that: (p

**∧**q**∧**r)∨(¬p**∧**q**∧**r)=(q**∧**r).

ie. associativity, commutativity, distributivity, etc.

I know its probably something really simple but I just don't see it... - Oct 21st 2009, 08:38 PMtonio
- Oct 22nd 2009, 09:51 AMMitchell
I'm not sure I understand what's unclear. I want to prove that (p and q and r) or ((not p) and q and r) = q and r:

(p**∧**q**∧**r)∨(¬p**∧**q**∧**r)=(q**∧**r). - Oct 22nd 2009, 10:39 AMtonio

I wonder whether it is only my puter: between p and q and r only appear little blank squares, not one single logical connective!

Anyway you already wrote it: you want to show that

Ok, so why don't you build a truth-false table for the left side, another one for the right side, and show that for any possible values you assign to the variables you get the same truth value?

Tonio - Oct 25th 2009, 06:04 AMoldguynewstudent
This is rather tedious and I had trouble with something similar on my first quiz this year:

(p**∧q∧r)V(**¬p**∧q∧r)=[pV(**¬p**∧q∧r)]∧[qV(**¬p**∧q∧r)]∧[rV(**¬p**∧q∧r)]**

**=[(pV**¬p)**∧(pVq)∧(pVr)]∧[(qV∧**¬p)**∧(qVq)∧(qVr)]∧[(rV**¬p)**∧(rVq)∧(rVr)]**

**=[T∧(pVq)∧(pVr)]∧[(qV**¬p)**∧q∧(qVr)]∧[(rV**¬p)**∧(rVq)∧r]**

**=(pVq)∧(pVr)∧(qV**¬p)**∧q∧(qVr)∧(rV**¬p)**∧(rVq)∧r**

**=[(qVp)∧(qV**¬p)]**∧[(rVp)∧(rV**¬p)**]∧[(qVr)∧(qVr)]∧q∧r**

**=[q]∧[r]∧[qVr]∧q∧r =**

**Hope you can finish it from here, the main trick in the previous step was that [(qVp)∧(qV**¬p)]**=q.** - Oct 25th 2009, 02:43 PMPlato
- Oct 25th 2009, 03:14 PMoldguynewstudent