0
$\begingroup$

Rewrite these propositions wih equivalence:

$a:(b \, \lor \, c) \Rightarrow (\lnot b \, \lor \, \lnot c)$

$b: (\lnot c \, \lor \, q) \Rightarrow r$

$c: a \Rightarrow (\lnot q \, \land \lnot r)$

I got statements which I have to write in the form of equivalence. I translate the statements into the formulas above, but I don't know how can I make equivalence from these formulas.

I tried to substitute $a$ and $b$ to proposition $c$ but it didn't lead to anywhere.

We have implication above and we know that equivalence is: both $p \Rightarrow q$ and $q \Rightarrow p$ but I am not really sure how can I change it into equivalence.

  • 1
    No, you are being asked to *use* equivalences to rewrite the statements. What standard equivalences do you know? – 2017-01-27
  • 0
    I know only one equivalence ... What do you mean by standard equivalences? – 2017-01-27
  • 0
    Your text should have a [table of logical equivalences](http://integral-table.com/downloads/logic.pdf) or something like that. – 2017-01-27
  • 0
    Thank you, I try to do this. – 2017-01-27

0 Answers 0