#### Question

Using truth table prove that :

`~p^^q-=(p vv q)^^~p`

#### Solution

1 | 2 | 3 | 4 | 5 | 6 |

p | q | ~p |
`~p^^q` |
`pvvq` |
`(pvvq)^^~p` |

T | T | F | F | T | F |

T | F | F | F | T | F |

F | T | T | T | T | T |

F | F | T | F | F | F |

Column (4) and (6) are identical truth value

`therefore ~p^^q-=(p vv q)^^~p`

Is there an error in this question or solution?

#### APPEARS IN

Solution Using truth table prove that : ~p∧q≡(p∨q)∧~p Concept: Mathematical Logic - Truth Tables of Compound Statements.