$\begingroup$

I want to rewrite the following types of propositions without the simple or double implication:

  1. $p \land \lnot q \to r$
  2. $p \land \lnot q \to r \land q$
  3. $(p \to r) \leftrightarrow (q \to r)$

So we have to write these propositions without any implication, for example the first proposition like $p \land \lnot q \land r$ or is something else meant?

Answers