the statement is: if p, then q, unless r
I'm to convert it into a compound proposition.
I've reasoned that:
when p is true AND r is true, q is false
when p is true AND r is false, q is true
when p is false, we can't know if q is true
But, how to convert this into compound propositions?
$ (p \land \lnot r) \to q $
$ (p \land r) \to \lnot q $
How can we express both of these at the same time? or does each of them already contain the other?