p + q = (pVq) ^ -(p^q)

Printable View

- June 11th 2007, 09:42 AMEquinoXis this logical expression equivalent?
p + q = (pVq) ^ -(p^q)

- June 11th 2007, 09:47 AMJhevon
- June 11th 2007, 09:50 AMEquinoX
it means an exclusive or

- June 11th 2007, 09:53 AMJhevon
it is equivalent, wikipedia actually has this as an example. i figured you wanted to show it though. i'd use a truth table. do you know how to construct one?

- June 11th 2007, 09:59 AMEquinoX
yes I do know how, actually my question is to show

-(p+q) and p biimplication q are logically equivalent, and I am trying to find out how - June 11th 2007, 10:03 AMJhevon
Here's how to show the first one, maybe you can figure out from this how to show the second. Truth tables are the conventional way to test whether two statements are logically equivalent. Look at the truth table below. You will notice that the blue columns are the same. One represents P + Q and the other represents (P v Q) ^ ~(P ^ Q). if two statements have the same truth values in every instant in a truth table, then they are logically equivalent

- June 11th 2007, 10:08 AMEquinoX
my teacher asks me not to use the truth table this time but to change the expression into other expression

- June 11th 2007, 10:26 AMPlato
Recall that .

Thus

. - June 11th 2007, 10:43 AMEquinoX
how did you change the sign of ^ into V in proofing the - (p + q)

- June 11th 2007, 10:49 AMJhevon
- June 11th 2007, 10:52 AMEquinoX
sorry it's posted below, I dont understand on how to get the ^ symbol changes into v

- June 11th 2007, 10:54 AMEquinoX
Thus

- June 11th 2007, 11:09 AMPlato
- June 11th 2007, 11:12 AMEquinoX
thanks that clears me up