#### Question

Prove that the following statement pattern is equivalent :

(p ∨ q) r and (p → r) ∧ (q → r)

#### Solution

Truth table given is as follows:

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |

p | q | r |
`A=p vv q` |
`B=p->r` |
`C=q->r` |
`A->r` |
`B ^^ C` |

T | T | T | T | T | T | T | T |

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

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

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

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

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

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

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

Thus from column 7 and 8

(p ∨ q) r ≡(p → r) ∧ (q → r)

Is there an error in this question or solution?

#### APPEARS IN

Solution Prove that the following statement pattern is equivalent : (p ∨ q) r and (p → r) ∧ (q → r) Concept: Mathematical Logic - Statement Patterns and Logical Equivalence.